Becker, Markus, Henning Zabel, and Wolfgang Müller. “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.”https://doi.org/10.1007/978-3-642-15234-4_15__edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010.https://doi.org/10.1007/978-3-642-15234-4_15 .
LibreCat: /record/37046
DOI: 10.1007/978-3-642-15234-4_15

Klobedanz, Kay, Gilles B. Defo, Henning Zabel, Wolfgang Müller, and Yuan Zhi. “Task Migration for Fault-Tolerant FlexRay Networks.”https://doi.org/10.1007/978-3-642-15234-4_7__edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010.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, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.”https://doi.org/10.1007/978-3-642-15234-4_9__edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010.https://doi.org/10.1007/978-3-642-15234-4_9 .
LibreCat: /record/37048
DOI: 10.1007/978-3-642-15234-4_9