1. Barragan Santiago I., (2007), Élaboration de propriétés formelles de contrôleurs logiques à partir d'analyse prévisionnelle par arbres de défaillances, thèse de doctorat de l'École Normale Supérieur de Cachan.
2. Behrmann G., Bengtsson J., David A., Larsen K.G., Pettersson P., Yi W., (2002), Uppaal implementation secrets, In Proc. of 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems.
3. Finite State Description of communication Protocols;Bochmann;Computer Networks,1978
4. Bodart A., Carré-Ménétrier V., De Loor P., Deluche J.B., Dupont J., Gendreau D., Hancq J., Kril A., Nido J., (1989), 7 facettes du Grafcet, collection.
5. Canet G., (2001), Vérification automatique de programmes écrits dans les langages IL et ST de la norme IEC, thèse de doctorat, École Normale Supérieur de Cachan.