Beyond hytech: Hybrid systems analysis using interval numerical methods (2000)

by T A Henzinger, B Horowitz, R Majumdar, H Wong-Toi
Venue:In HSCC, LNCS 1790