1. Introduction to Discrete Event Systems;Cassandra,1999
2. A Discrete Event Systems Modeling Formalism Based one Event Occurrences Rules and Precedences;Chandra;IEEE Transactions on Robotics and Automation,2001
3. Deluche, J.B. (1998). Automatique de la théorie aux applications industrielles. Tome 1: Systèmes discrets. Edipol – Collection Instrumentation, ISBN 2913444008.
4. Influence de la prise en compte d'un modèle de processus en vérification formelle des systèmes à événements discrets;Machado,2006
5. Music, G., Matko, D. and Zupancic, B. (2002). Model based programmable control logic design. 15th Triennial World Congress, Barcelona, Spain.