A Comparative Study of Synthesis Methods for Discrete Event Controllers - Pinzon, L.E. (Springer, 1999)
In: 15 (1999), S. 123-167