Simulation mit abstrakten RTOS Modellen in SystemC
H. Zabel, W. Müller, 6 (2007).