Decentralized Control of Discrete-Event Systems With Multiple Local Specifications | IEEE Journals & Magazine | IEEE Xplore