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 .