Reliable decentralized supervisory control of discrete event systems with marked language specifications | IEEE Conference Publication | IEEE Xplore