Text this: Scheduling - theory, algorithms, and systems - Michael Pinedo