Embedded supervisory control of discrete-event systems. - Yue Yang 001; Peyman Gohari (CASE, 2005)