HyTech: A Model Checker for Hybrid Systems (1997)

by T Henzinger, P-H Ho, H Wong-Toi