Mathematical programming models of discrete event system dynamics | IEEE Conference Publication | IEEE Xplore