Publications
Schieferdecker, H. K¨onig, and A. Wolisz, editors, Testing of Communicating Systems XIV. Application to Internet Technologies and Services, pages 225–351. Kluwer Academic Publishers, 2002 2000 A. E. Haxthausen [...] Formal Development and Verification of a Distributed Railway Control System. IEEE Transaction on Software Engineering, 26(8):687–701, 2000 J. Peleska, A. Baer, and A. E. Haxthausen. Towards Domain-Specific [...] for GoA 4 Freight Trains In Cyrille Artho and Peter Ölveczky, editors, Proceedings3 of the FTSCS ’23, October 22, 2023, Cascais, Portugal, volume 14155 of ACM Proceedings, pages 26–36. ACM, 2023a. doi: