Mu-Der Jeng
-
A Comparative Study of Synthesis Methods for Discrete Event Controllers
Formal Methods in System Design