Publications
doi: 10.1007/978-3-030-92124-8_5 Kerstin I. Eder, Wen-ling Huang, and Jan Peleska. Complete agent-driven model-based system testing for autonomous systems. In Marie Farrell and Matt Luckcuck, editors, [...] Joaquim Filipe, editors, MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015., pages [...] 12 2012. ISBN 978-3-9803363-3-8 Jan Peleska, Johannes Feuser, and Anne E. Haxthausen. The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems, pages 22–52. IGI Global