An exact schedulability test for fixed-priority preemptive mixed-criticality real-time systems

From MaRDI portal