Timed RTOS Models in Automatically Generated Cycle-Approximate TLMs

Yonghyun Hwang, Hans Gunar Schirner, Samar Abdi, "Timed RTOS Models in Automatically Generated Cycle-Approximate TLMs," TR 08-12, September 2008. complete TR is available upon request