Thomas A. Henzinger Pei-Hsin Ho Howard Wong-Toi HYTECH: A Model Checker for Hybrid Systems. 110-122 1997 1 STTT 1-2 db/journals/sttt/sttt1.html#HenzingerHW97 http://link.springer.de/link/service/journals/10009/bibs/7001001/70010110.htm