Haji-Valizadeh, A., & Loparo, K. A. (1996). Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems. Automatic Control, IEEE Transactions on, 41 (11), 1579–1593.