M. Becker, H. Zabel, and W. Müller, “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement,”10.1007/978-3-642-15234-4_15__2010, doi:10.1007/978-3-642-15234-4_15 .
LibreCat: /record/37046
DOI: 10.1007/978-3-642-15234-4_15

K. Klobedanz, G. B. Defo, H. Zabel, W. Müller, and Y. Zhi, “Task Migration for Fault-Tolerant FlexRay Networks,”10.1007/978-3-642-15234-4_7__2010, doi:10.1007/978-3-642-15234-4_7 .
LibreCat: /record/37044
DOI: 10.1007/978-3-642-15234-4_7

W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems,”10.1007/978-3-642-15234-4_9__2010, doi:10.1007/978-3-642-15234-4_9 .
LibreCat: /record/37048
DOI: 10.1007/978-3-642-15234-4_9