Rob Arthan Mechanized Reasoning for Continuous Problem Domains (Invited Talk). 2008 PAAR/ESHOL http://ceur-ws.org/Vol-373/invited-2.pdf conf/cade/2008paar db/conf/cade/paar2008.html#Arthan08