Alessandro Cimatti Robert B. Jones Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 978-1-4244-2735-2 FMCAD IEEE 2008 db/conf/fmcad/fmcad2008.html