Bibliography

1

Linh Hong Vu, Anne E. Haxthausen, and Jan Peleska.
Formal modelling and verification of interlocking systems featuring sequential release.
Science of Computer Programming, 133, Part 2:91 - 115, 2017.
http://dx.doi.org/10.1016/j.scico.2016.05.010.

2

Anne E. Haxthausen and Peter H. Østergaard.
On the Use of Static Checking in the Verification of Interlocking Systems.
In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, Part II, volume 9953 of Lecture Notes in Computer Science, pages 266-278. Springer International Publishing AG, 2016.

3

Anne E. Haxthausen and Jan Peleska.
Model-checking and Model-based Testing in the Railway Domain.
In Formal Modeling and Verification of Cyber-Physical Systems, pages 82-121. Springer Fachmedien Wiesbaden, 2015.

4

Linh H. Vu, Anne E. Haxthausen, and Jan Peleska.
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release.
In Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014) Prelimenary Proceedings, pages 58-73, 2014.

5

Linh H. Vu, Anne E. Haxthausen, and Jan Peleska.
A Domain-Specific Language for Railway Interlocking Systems.
In Eckehard Schnieder and Géza Tarnai, editors, FORMS/FORMAT 2014 - 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 200-209. Institute for Traffic Safety and Automation Engineering, Technische Universität Braunschweig, 2014.
Got best-paper-award.

6

Linh H. Vu, Anne E. Haxthausen, and Jan Peleska.
Formal Verification of the Danish Railway Interlocking Systems.
In Marieke Huisman and Jaco van de Pol, editors, Pre-proceedings of 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014), CTIT Workshop Proceedings Series WP 14-01, pages 257-258. University of Twente, 2014.

7

Cécile Braunstein, Anne E Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, and Linh Vu Hong.
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor.
In Formal Methods and Software Engineering, pages 380-395. Springer International Publishing, 2014.

8

Cécile Braunstein, Jan Peleska, Uwe Schulze, Felix Hübner, Wen-Ling Huang, Anne E. Haxthausen, and Linh Vu Hong.
A SysML Test Model and Test Suite for the ETCS Ceiling Speed Monitor.
Technical Report OETCS/WP4/CSM-01/00, openETCS, May 2014.

9

Hugo D. Macedo, Alessandro Fantechi, and Anne E. Haxthausen.
Compositional Verification of Multi-Station Interlocking Systems.
In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, Part II, volume 9953 of Lecture Notes in Computer Science, pages 279-293. Springer International Publishing AG, 2016.

10

Hugo Daniel Macedo, Alessandro Fantechi, and Anne E. Haxthausen.
Compositional model checking of interlocking systems for lines with multiple stations.
In Clark Barrett, Misty Davies, and Temesghen Kahsai, editors, NASA Formal Methods: 9th International Symposium, NFM 2017, Proceedings, pages 146-162. Springer International Publishing, 2017.

11

Alessandro Fantechi, Anne E. Haxthausen, and Michel B. R. Nielsen.
Model checking geographically distributed interlocking systems using UMC.
In 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), pages 278-286, 2017.

12

Alessandro Fantechi, Stefania Gnesi, Anne Haxthausen, Jaco van de Pol, Marco Roveri, and Helen Treharne.
SaRDIn - A Safe Reconfigurable Distributed Interlocking.
In Proceedings of 11th World Congress on Railway Research (WCRR 2016), Milano, 2016. Ferrovie dello Stato Italiane.

13

Anne E. Haxthausen, Hoang Nga Nguyen, and Markus Roggenbach.
Comparing Formal Verification Approaches of Interlocking Systems.
In Thierry Lecomte, Ralf Pinger, and Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail Proceedings, pages 160-177. Springer International Publishing, 2016.