Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft. - S. Ayache; Eric Conquet; Philippe Humbert; Carlos Rodríguez; Joseph Sifakis; R. Gerlich (FTCS, 1996)

Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project. - Eric Conquet; Jean-Luc Marty (World Congress on Formal Methods, 1999)

TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future. - Maxime Perrotin; Eric Conquet; Julien Delange; Andre Schiele; Thanassis Tsiodras (SDL Forum, 2011)