Enabling RTOS simulation modeling in a system level design language. - M. Abdelsalam Hassan; Keishi Sakanushi; Yoshinori Takeuchi; Masaharu Imai (ASP-DAC, 2005)

RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC. - M. Abdelsalam Hassan; Keishi Sakanushi; Yoshinori Takeuchi; Masaharu Imai (DATE, 2005)