Shigemasa TakaiToshimitsu UshioReliable decentralized supervisory control of discrete event systems.661-667200030IEEE Trans. Syst. Man Cybern. Part B5db/journals/tsmc/tsmcb30.html#TakaiU00https://doi.org/10.1109/3477.875443https://www.wikidata.org/entity/Q51894215