Publications
and Martin Steffen, editors, Correctness, Concurrency and Compositionality – Festschrift for Willem-Paul de Roever, number 5930 in LNCS. Springer, 2008 2007 Jan Peleska, Helge Löding, and Tatiana Kotas. [...] and its Application to Train Control Systems. In Hartmut Ehrig, Werner Damm, J¨org Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westk¨amper, editors, SoftSpez Final Report [...] Computer Science, pages 145–173. Springer, September 2004. ISBN 3-540-23135-8 Jan Peleska, Daniel Große, Anne E. Haxthausen, and Rolf Drechsler. Automated verification for train control systems. In E. Schnieder