Becker, M., Zabel, H., &; Müller, W. (2010). A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement (L. Kleinjohann &; B. Kleinjohann, Eds.). Springer Verlag.https://doi.org/10.1007/978-3-642-15234-4_15 
LibreCat: /record/37046
DOI: 10.1007/978-3-642-15234-4_15

Klobedanz, K., Defo, G. B., Zabel, H., Müller, W., &; Zhi, Y. (2010). Task Migration for Fault-Tolerant FlexRay Networks (L. Kleinjohann &; B. Kleinjohann, Eds.). Springer Verlag.https://doi.org/10.1007/978-3-642-15234-4_7 
LibreCat: /record/37044
DOI: 10.1007/978-3-642-15234-4_7

Müller, W., Bol, A., Krupp, A., &; Lundkvist, O. (2010). Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems (L. Kleinjohann &; B. Kleinjohann, Eds.). Springer Verlag.https://doi.org/10.1007/978-3-642-15234-4_9 
LibreCat: /record/37048
DOI: 10.1007/978-3-642-15234-4_9