Publications
testing of safety-critical systems. In John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, and Anna Philippou, editors, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November [...] Proceedings of the INFORMATIK 2007, Band 2, 24. - 27. September, Bremen (Germany), pages 280–286 2006 Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska. The HybridUML Profile for UML 2.0 [...] 2004. Revised Invited Papers, volume 3525 of LNCS, pages 293–320. Springer-Verlag GmbH, 2005 2004 Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, and Jan Peleska. Spezifikation von Echtzeit-Automa