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