Arie Gurfinkel Ou Wei Marsha Chechik Systematic Construction of Abstractions for Model-Checking. 381-397 2006 conf/vmcai/2006 VMCAI http://dx.doi.org/10.1007/11609773_25 db/conf/vmcai/vmcai2006.html#GurfinkelWC06