A. Dans-colloque, Les Mathématiques de l'Informatique, pp.35-68, 1982.

[. Santiago, Barragan Santiago Elaboration de propriétés formelles de contrôleurs logiques à partir d'analyse prévisionnelle par Arbre des Défaillances, Thèse de doctorat, 2007.

. Bierel, Grafcet : from theory to implementation, Journal Européen des Systèmes Automatisés, vol.31, issue.3, pp.543-559, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00137258

B. Boehm and . Boehm, Software Engineering, IEEE Transactions on Computers, vol.25, issue.12, 1979.
DOI : 10.1109/TC.1976.1674590

E. Brinksma and J. Tretmans, Testing Transition Systems: An Annotated Bibliography, Brinksma et Tretmans Cassez, C. Jard, B. Rozoy, et M. D, 2000.
DOI : 10.1007/3-540-45510-8_9