Planning and scheduling in manufacturing and services - Pinedo, Michael L. (Springer series in operations research, 2005)