Safety Analysis of a CBTC System: A Rigorous Approach with Event-B. - Mathieu Comptier; David Déharbe; Julien Molinero Perez; Louis Mussat; Pierre Thibaut; Denis Sabatier (RSSRail, 2017)

Property-Driven Software Analysis - (Extended Abstract). - Mathieu Comptier; David Déharbe; Paulin Fournier; Julien Molinero Perez (FM, 2019)

Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B. - Mathieu Comptier; Michael Leuschel; Luis-Fernando Mejia; Julien Molinero Perez; Mareike Mutz (RSSRail, 2019)

Ensuring Safety with System Level Formal Modelling. - Thierry Lecomte; Mathieu Comptier; Julien Molinero Perez; Denis Sabatier (ISoLA (3), 2020)