An Efficient and Portable Scheduler for RTOS Simulation and its Certified Integration to SystemC | IEEE Conference Publication | IEEE Xplore