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