RTOS Modeling for System-Level Design

A. Gerstlauer, H. Yu and D. D. Gajski, “RTOS Modeling for System-Level Design,” Embedded Software for SoC, edited by A. A. Jerraya, S. Yoo, N. When, D. Verkest, Kluwer Academic Publishers, June 2003.