Scheduling : theory, algorithms, and systems - Pinedo, Michael (Springer, 2008)