Integrated time- and event-triggered scheduling - An overhead analysis on the ARM architecture | IEEE Conference Publication | IEEE Xplore