HyTech: A model checker for hybrid systems (1997)

by T A Henzinger, P-H Ho, H Wong-Toi
Venue:Software Tools for Technology Transfer