Towards RTOS support for mixed time-triggered and event-triggered task sets | IEEE Conference Publication | IEEE Xplore