Hiroaki Nakamura Naoto Sato Naoshi Tabuchi An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC. 1157-1158 2006 conf/date/2006p DATE http://doi.acm.org/10.1145/1131800 db/conf/date/date2006p.html#NakamuraST06