Haobo Yu, Andreas Gerstlauer, Daniel Gajski. RTOS scheduling in transaction level models. In Rajesh Gupta, Yukihiro Nakamura, Alex Orailoglu, Pai H. Chou, editors, Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2003, Newport Beach, CA, USA, October 1-3, 2003. pages 31-36, ACM, 2003. [doi]