The following publications are possibly variants of this publication:
- Compositional Verification of Interlocking Systems for Large StationsAlessandro Fantechi, Anne Elisabeth Haxthausen, Hugo Daniel Macedo. SEFM 2017: 236-252 [doi]
- Automated Compositional Verification of Interlocking SystemsAnne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen. rssrail 2023: 146-164 [doi]
- Compositional Verification of Railway Interlocking SystemsAnne Elisabeth Haxthausen, Alessandro Fantechi. fac, 35(1), March 2023. [doi]
- Compositional Model Checking of Interlocking Systems for Lines with Multiple StationsHugo Daniel Macedo, Alessandro Fantechi, Anne Elisabeth Haxthausen. NFM 2017: 146-162 [doi]
- Decomposing the Verification of Interlocking SystemsAnne E. Haxthausen, Alessandro Fantechi, Gloria Gori. BIRTHDAY 2023: 96-113 [doi]
- Compositional Verification of Railway Interlockings: Comparison of Two MethodsAlessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée. rssrail 2022: 3-19 [doi]