M. Short, “Automatic Task Splitting for Uniprocessor Systems Scheduled with Non-Preemptive EDF”, Theory and Applications of Mathematical Science Vol. 1, pp. 35-50, Jan. 2020.