Verification of railway interlocking systems. - Simon Busard; Quentin Cappart; Christophe Limbrée; Charles Pecheur; Pierre Schaus (ESSS, 2015)

Verification of Railway Interlocking - Compositional Approach with OCRA. - Christophe Limbrée; Quentin Cappart; Charles Pecheur; Stefano Tonetta (RSSRail, 2016)

Verification of Interlocking Systems Using Statistical Model Checking. - Quentin Cappart; Christophe Limbrée; Pierre Schaus; Jean Quilbeuf; Louis-Marie Traonouez; Axel Legay (HASE, 2017)

A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. - Christophe Limbrée; Charles Pecheur (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

Formal verification of railway interlocking systems. - Christophe Limbrée (2019)

Compositional Verification of Railway Interlockings: Comparison of Two Methods. - Alessandro Fantechi; Gloria Gori; Anne E. Haxthausen; Christophe Limbrée (RSSRail, 2022)

Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components. - Christophe Limbrée; Anne E. Haxthausen; Gloria Gori; Alessandro Fantechi (ISoLA (5), 2024)