A generic RTOS model for real-time systems simulation with systemC | IEEE Conference Publication | IEEE Xplore