F.: Reachability analysis of hybrid systems via predicate abstraction. (2002)

by R Alur, T Dang, Ivancic
Venue:HSCC 2002. LNCS,