Maximal and Compositional Pattern-Based Loop Invariants. - Maria-Virginia Aponte; Pierre Courtieu; Yannick Moy; Marc Sango (FM, 2012)

Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications. - Marc Sango; Laurence Duchien; Christophe Gransart (FACS, 2014)

Traceability of Concerns and Observer-Based Verification for Railway Safety-Critical Software. (Traçabilité des Exigences et Vérification par Observateurs pour les Logiciels Critiques des Systèmes Ferroviaires). - Marc Sango (2015)

MBSE and MBSA with Capella and Safety Architect Tools. - Marc Sango; Frédérique Vallée; Anne-Catherine Vié; Jean-Luc Voirin; Xavier Leroux; Véronique Normand (CSDM, 2016)

Modeling and vulnerability analysis of interdependent railway and power networks: Application to British test systems. - Andrea Bellè; Zhiguo Zeng; Carole Duval; Marc Sango; Anne Barros (Reliab. Eng. Syst. Saf., 2022)