RTOS Support for Mixed Time-triggered and Event-triggered Task Sets | IEEE Conference Publication | IEEE Xplore