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