Henning Zabel, Wolfgang Müller 0003. Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In Christoph Scholl, Stefan Disch, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008. pages 31-39, Shaker, 2008.
Abstract is missing.