Bemporad, Alberto and Di Cairano, Stefano and Júlvez, Jorge Event-based model predictive control and verification of integral continuous-time hybrid automata. In: Hybrid Systems: Computation and Control. Springer-Verlag, pp. 93-107. ISBN 978-3-540-33170-4 (2006)