Reachability verification for hybrid automata (1998)

by T A Henzinger, V Rusu
Venue:In HSCC’98, volume 1386 of LNCS