Modular supervisory control and coordination of state tree structures. - Wujie Chao; Yongmei Gan; Zhaoan Wang; Walter Murray Wonham (Int. J. Control, 2013)