Ton J. J. van den Boom, Gabriel Alexandre Delgado Lopes, Bart De Schutter: A modeling framework for model predictive scheduling using switching max-plus linear models. CDC 2013: 5456-5461