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

CLAIRE: an event-driven simulation tool for testing software. - Jacques Raguideau; Dominique Schoen; Jean-Yves Henry; Jacques Boulc'h (ISSRE, 1994)

Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. - Famantanantsoa Randimbivololona; Jean Souyris; Patrick Baudin; Anne Pacalet; Jacques Raguideau; Dominique Schoen (World Congress on Formal Methods, 1999)

CAVEAT: A Tool for Software Validation. - Patrick Baudin; Anne Pacalet; Jacques Raguideau; Dominique Schoen; Nicky Williams (DSN, 2002)

CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs. - Adriana Carloganu; Jacques Raguideau (DSN, 2002)