Stefan Ratschan Zhikun She Safety verification of hybrid systems by constraint propagation-based abstraction refinement. 2007 6 ACM Trans. Embedded Comput. Syst. 1 http://doi.acm.org/10.1145/1210268.1210276 db/journals/tecs/tecs6.html#RatschanS07