Bemporad, Alberto and Morari, Manfred  Control of systems integrating logic, dynamics, and constraints.  Automatica, 35 (3).  pp. 407-427.  ISSN 0005-1098      (1999)