A Graphic Language Based on Timing Diagrams. - Christian Antoine; Bernard Le Goff; Jean-Eric Pin (FSTTCS, 1993)

Using formal methods to validate C programs. - Christian Antoine; Patrick Baudin; J. M. Collart; Jacques Raguideau; A. Trotin (ISSRE, 1994)

Verification of a DSP IP cores by model checking. - H. N. Nguyen; P. Koumou; Bernard Candaele; Michel Sarlotte; Christian Antoine; S. Emeriau (HLDVT, 2002)

UML models for dependability analysis of real-time systems. - Nawal Addouche; Christian Antoine; Jacky Montmain (SMC (6), 2004)

Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. - Nawal Addouche; Christian Antoine; Jacky Montmain (SAFECOMP, 2005)

Methodology for UML Modeling and Formal Verification of Real-Time Systems. - Nawal Addouche; Christian Antoine; Jacky Montmain (CIMCA/IAWTIC, 2006)