Scheduling theory and applications (Baltzer, 1997)