Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus.

Devesh B. Chokshi, Purandar Bhaduri

Browse the full RTCSA paper archive.