presented at event HSCC '15: 18th International Conference on Hybrid Systems: Computation and Control Conference