A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems | IEEE Journals & Magazine | IEEE Xplore