Deadline Scheduling for Real-Time Systems - EDF and Related Algorithms (The Springer International Series in Engineering and Computer Science)