Stav dette: Scheduling - theory, algorithms, and systems - Michael Pinedo