A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.

Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.