Stefan Ratschan Zhikun She Constraints for Continuous Reachability in the Verification of Hybrid Systems. 196-210 2006 conf/aisc/2006 AISC http://dx.doi.org/10.1007/11856290_18 db/conf/aisc/aisc2006.html#RatschanS06