Scheduling : Theory, Algorithms, and Systems - Pinedo, Michael L. (Cham Springer International Publishing AG, 2022)