HyTech: A model checker for hybrid systems. (1997)

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