We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 0710.4746 can endorse.

RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC

M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori Takeuchi and Masaharu Imai are not registered as owners of this paper. (why?)