Deadline scheduling for real-time systems: EDF and related algorithms - Stankovic, John A. (The Kluwer international series in engineering and computer science, 1998)