Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible? | IEEE Conference Publication | IEEE Xplore