[1] C.G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Springer, 2008.

[2] Mathworks Inc., MATLAB, 
http://www.mathworks.com/help/matlab/index.html.

[3] P.J. Ramadge and W.M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.

[4] W.M. Wonham and P.J. Ramadge, "On the supremal controllable sublanguage of a given language,'' SIAM J. Control Optim., vol. 25, no. 3, pp. 635-659, 1987.

[5] W.M. Wonham, Supervisory Control of Discrete-Event Systems, Systems Control Group, Edward S. Rogers Sr. Dept. of Electrical and Computer Engineering, University of Toronto,Canada, 2012; available at http://www.control.utoronto.ca/DES.