Zhengting He, Aloysius K. Mok, Cheng Peng. Timed RTOS Modeling for Embedded System Design. In 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 7-10 March 2005, San Francisco, CA, USA. pages 448-457, IEEE Computer Society, 2005. [doi]
Abstract is missing.