. Duméry, Modélisation des modes de marche des systèmes automatisés de production. Mémoire de recherche, DEA de production automatisée, 1994.

A. Harel and . Naamad, The STATEMATE Semantics of Statecharts, Wisdom Technical reports in Computer Science, ACM TOSEM, pp.95-126, 1995.

J. Lampérière-couffin and . Lesage, Formal verification of the sequential part of PLC programs, Wodes2000 -5th Workshop on Discrete Event Systems, pp.247-254, 2000.

J. Lampérière-couffin, J. Lesage, and . Roussel, Formal validation of PLC programs : a survey, ECC'99), paper n°741, p.31, 1999.

H. Lesage, H. Papini, and . Guennec, Formal verification : a tool to improve the safety of control systems, SafeProcess' IFAC Budapest, pp.885-890, 2000.