Abstract rtos modelling in systemc