@inbookZabel_Müller_Gerstlauer_2009, place=Dordrecht, title=Accurate RTOS Modelling and Analysis with SystemC, DOI=10.1007/978-1-4020-9436-1_9, booktitle=Hardware Dependent Software - Principles and Practice, publisher=Springer Verlag, author=Zabel, Henning and Müller, Wolfgang and Gerstlauer, Andreas, editor=Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer, year=2009, pages=233–260