Elastic Scheduling for Parallel Real-Time Systems. LITES 2019, 6 (1), 05:1-05:14. https://doi.org/10.4230/LITES-v006-i001-a005.