1. Introduction to discrete event systems;Cassandras,2004
2. Jacobs, K.G.M., Markovski, J., van Beek, D.A., Rooda, J.E., and Somers, L.J.A.M. (2009). Specifying state-based supervisory control requirements. SE Report 09- 06, Eindhoven University of Technology.
3. STSLib and its application to two benchmarks;Ma,2008
4. Nonblocking Supervisory Control of State Tree Structures, volume 317 of LNCIS;Ma,2005
5. On the principles for model-based systems engineering;Ogren;Systems Engineering,2000