Ratschan, S., & She, Z. (2006). Constraints for Continuous Reachability in the Verification of Hybrid Systems. In Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006 (pp. 196-210). Berlin, Germany: Springer.