Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus | IEEE Conference Publication | IEEE Xplore