Scheduling : theory, algorithms, and systems - Pinedo, Michael L. (Prentice Hall, 2002)