Kwang-Hyun Cho, Jong-Tae Lim: Mixed centralized/decentralized supervisory control of discrete event dynamic systems. Autom. 35(1): 121-128 (1999)