Publications
Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, and Cornelia Zahlten. A real-world benchmark model for testing concurrent realtime systems in the automotive [...] 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