Scheduling : Theory, Algorithms, and Systems - Pinedo, Michael (Prentice-Hall)