Model checking flight control systems: The Airbus experience. - Thomas Bochot; Pierre Virelizier; Hélène Waeselynck; Virginie Wiels (ICSE Companion, 2009)

Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. - Thomas Bochot; Pierre Virelizier; Hélène Waeselynck; Virginie Wiels (HASE, 2010)

Automatic Generation of DO-178 Test Procedures. - César Ochoa Escudero; Rémi Delmas; Thomas Bochot; Matthieu David; Virginie Wiels (NFM, 2018)