Modélisation des modes de marche des systèmes automatisés de production. Mémoire de recherche, DEA de production automatisée, 1994. ,
The STATEMATE Semantics of Statecharts, Wisdom Technical reports in Computer Science, ACM TOSEM, pp.95-126, 1995. ,
Formal verification of the sequential part of PLC programs, Wodes2000 -5th Workshop on Discrete Event Systems, pp.247-254, 2000. ,
Formal validation of PLC programs : a survey, ECC'99), paper n°741, p.31, 1999. ,
Formal verification : a tool to improve the safety of control systems, SafeProcess' IFAC Budapest, pp.885-890, 2000. ,