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