Deadline scheduling for real-time systems EDF and related algorithms - Stankovic, John A. (Kluwer Acad. Publ., 1998)