On Distributed and Parameterized Supervisor Synthesis Problems | IEEE Journals & Magazine | IEEE Xplore