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