Event-based model predictive control and verification of integral continuous-time hybrid automata