On the synthesis of safe control policies in decentralized control of discrete-event systems | IEEE Journals & Magazine | IEEE Xplore