Publications
1007/978-3-319-25150-9_29 Niels Przigoda, Christoph Hilken, Jan Peleska, Robert Wille, and Rolf Drechsler. Checking concurrent behavior in UML/OCL models. In Proceedings of the MODELS 2015 Foundations Ottawa [...] Haxthausen and Jan Peleska. Model checking and model-based testing in the railway domain. In Rolf Drechsler and Ulrich Kühne, editors, Formal Modeling and Verification of Cyber-Physical Systems, 1st International [...] Model-based testing of embedded control systems in the railway, avionic and automotive domains. In Rolf Drechsler, editor, Proceedings of the TuZ2009, 21. Workshop f¨ur Testmethoden und Zuverl¨assigkeit von Schaltungen