@inproceedingsBecker_Zabel_Müller_2010, place=Dordrecht, title=A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement, DOI=10.1007/978-3-642-15234-4_15, publisher=Springer Verlag, author=Becker, Markus and Zabel, Henning and Müller, Wolfgang, editor=Kleinjohann, L. and Kleinjohann, B., year=2010 
LibreCat: /record/37046
DOI: 10.1007/978-3-642-15234-4_15