“Elastic Scheduling for Parallel Real-Time Systems”, LITES, vol. 6, no. 1, pp. 05:1–05:14, May 2019, doi: 10.4230/LITES-v006-i001-a005.