@conference {215,
	title = {Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems},
	booktitle = {Proceedings of the Conference on Hybrid Systems: Computation and Control},
	number = {8},
	year = {2020},
	month = {April},
	pages = {1-10},
	author = {H. Han and M. Maghenem and R. G. Sanfelice}
}
