Modeling of capacitated transportation systems for integral scheduling -- Modeling and