Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC
H. Zabel, W. Müller, in: Ch. Scholl, S. Disch (Eds.), Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, Shaker Verlag, Aachen, 2008.