FP/FIFO feasibility conditions with kernel overheads for periodic tasks on an event driven OSEK system | IEEE Conference Publication | IEEE Xplore