Glaubius, Tidwell, Smart, Gill, 2008. Scheduling Design and Verification for Open Soft Real-Time Systems, in: . IEEE.. https://doi.org/10.1109/rtss.2008.48