Generalized Benders Decomposition for the simultaneous scheduling and dynamic optimization of network batch processes with variable processing times