Publications
real-world benchmark model for testing concurrent realtime systems in the automotive domain. In Burkhart Wolff and Fatiha Zaidi, editors, Testing Software and Systems. Proceedings of the 23rd IFIP WG 6 [...] Hannemann, and Jan Peleska. Executable HybridUML 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