Behzad Akbarpour Lawrence C. Paulson Applications of MetiTarski in the Verification of Control and Hybrid Systems. 1-15 2009 HSCC http://dx.doi.org/10.1007/978-3-642-00602-9_1 conf/hybrid/2009 db/conf/hybrid/hscc2009.html#AkbarpourP09