1. K. Åkesson, M. Fabian, H. Flordal, R. Malik, Supremica - an integrated environment for verification, synthesis and simulation of discrete event systems. In Proc. of WODES, 384–385.
2. Baier, C. and Katoen, J. (2008). Principles of model checking. MIT Press.
3. Introduction to Discrete Event Systems;Cassandras,2007
4. An overview of the mCRL2 toolset and its recent advances;Cranen;In Proc. of TACAS,2013
5. Feng, L. and Wonham, W. (2006a). Computationally efficient supervisor design: abstraction and modularity. In Proc. of WODES, 3–8.