RT DF A1 Davies, Sami. T1 Designing Scheduling Algorithms via a Mathematical Perspective