Gianpiero Cabodi Paolo Camurati Marco Murciano Automated abstraction by incremental refinement in interpolant-based model checking. 129-136 2008 ICCAD http://doi.acm.org/10.1145/1509456.1509495 conf/iccad/2008 db/conf/iccad/iccad2008.html#CabodiCM08