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)

A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. - Alexandre Albore; Silvano Dal-Zilio; Guillaume Infantes; Christel Seguin; Pierre Virelizier (IMBSA, 2017)

Handling Consistency Between Safety and System Models. - Tatiana Prosvirnova; Estelle Saez; Christel Seguin; Pierre Virelizier (IMBSA, 2017)

Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency. - Mathilde Machin; Estelle Saez; Pierre Virelizier; Xavier de Bossoreille (IMBSA, 2019)