Feasibility Conditions with Kernel Overheads for Mixed Preemptive FP/FIFO Scheduling with Priority Ceiling Protocol on an Event Driven OSEK System | IEEE Conference Publication | IEEE Xplore