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