Corina S. Pasareanu Radek Pelánek Willem Visser Concrete Model Checking with Abstract Matching and Refinement. 52-66 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_7 db/conf/cav/cav2005.html#PasareanuPV05