1. K. Akesson, M. Fabian, H. Flordal A. Vahidi (2003). Supremica – a tool for verification and synthesis of discrete event supervisors Procedings of the 11th Mediterranean Conference on Control and Automation.
2. S. Balemi.(1992). Input/output discrete event processes and system modeling. In Balemi et al. [8], pages 15-27. Procedings. of the Joint Workshop on Discrete Event Systems (WODES'92), Prague, Czechoslovakia.
3. Grafcet, behavioural issues and control synthesis;Carré-Ménétrier;European Journal Of Control synthesis Article,2002
4. V. Chandra, R. Kumar (2001). A new modelling formalism and automata model generator for a class of discrete of discrete event systems. Mathematical and Computer modelling of Dynamical systems.
5. A. Cimatti, C. Pecheur, R. Cavada (2003). Formal verification of diagnosability via symbolic model checking. 18th International Joint Conference on Artificial Intelligence.