presented at event 21st ACM International Conference on Hybrid Systems - Computation and Control (HSCC) Conference