Ariel Cohen 0002 John W. O'Leary Amir Pnueli Mark R. Tuttle Lenore D. Zuck 37-44 2007 conf/fmcad/2007 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.39 db/conf/fmcad/fmcad2007.html#0002OPTZ07