Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible?