Sufficient conditions for satisfaction of formulas with until operators in hybrid systems (Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control)