Les Mathématiques de l'Informatique, pp.35-68, 1982. ,
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. ,
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
Software Engineering, IEEE Transactions on Computers, vol.25, issue.12, 1979. ,
DOI : 10.1109/TC.1976.1674590
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