1. Behrmann G., Bengtsson J., David A., Larsen K.G., Pettersson P., Yi W. (2002). Uppaal implementation secrets. 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems.
2. Introduction to discrete event systems.;Cassandras,1999
3. Hooker, J (2000). Logic-Based Methods for Optimization -Combining Optimization and Constraint Satisfaction. Wiley-Interscience series in discrete mathematics and optimization. John Wiley and Sons, 2000.
4. IEC, INTERNATIONAL STANDARD 61131-3 (2003). Programmable controllers - Part 3: Programming languages. Reference number CEI/IEC 61131-3: 2003.
5. IEC, INTERNATIONAL STANDARD 60848 (2002). GRAFCET specification language for sequential function charts. Reference number CEI/IEC 60848: 2002.