Publications
Huang, Jan Peleska, and Jim Woodcock. CSP and Kripke structures. In Martin Leucker, Camilo Rueda, and Frank D. Valencia, editors, Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium [...] Springer, 2015. ISBN 978-3-319-25149-3. doi: 10.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 [...] In Proceedings of the MODELS 2015 Foundations Ottawa, ON, Canada, pages 176–185, 2015 Christoph Hilken, Jan Peleska, and Robert Wille. A unified formulation of behavioral semantics for SysML models. In