A Framework for Compositional Synthesis of Modular Nonblocking Supervisors | IEEE Journals & Magazine | IEEE Xplore