Planning and scheduling in manufacturing and services - Pinedo, Michael L. (Springer Series in Operations Research, 2005)