Publications
2019. ISBN 978-3-030-31279-4. doi: 10.1007/978-3-030-31280-0_11 Jan Peleska, Niklas Krafczyk, Anne Elisabeth Haxthausen, and Ralf Pinger. Efficient data validation for geographical interlocking systems. In Simon [...] 1–10. IEEE, 2018. ISBN 978-1-5386-3728-9. doi: 10.1109/ETS.2018.8400703 2017 Linh Vu Hong, Anne Elisabeth Haxthausen, and Jan Peleska. Formal modelling and verification of interlocking systems featuring [...] Computing, 29(2):335–364, 2017. ISSN 1433-299X. doi: 10.1007/s00165-016-0402-2 Linh H. Vu, Anne Elisabeth Haxthausen, and Jan Peleska. A domain-specific language for generic interlocking models and their