Predicate abstraction for reachability analysis of hybrid systems,” (2006)

by R Alur, T Dang, F Ivancic
Venue:ACM Trans. on Embedded Computing Systems,