Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems