Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata | Publicación