Formal modeling and synthesis of event-transferring communication among decentralized supervisors for discrete-event systems | IEEE Conference Publication | IEEE Xplore