A Comparative Study of Synthesis Methods for Discrete Event Controllers - Pinzon, L.E.; Hanisch, H.-M.; Jafari, M.A.; Boucher, T. (Springer, 1999)
http://dx.doi.org/10.1023/A:1008740917111
Keywords: SQ-SU