Zhengting He, Aloysius K. Mok, Cheng Peng: Timed RTOS Modeling for Embedded System Design. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 448-457