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