Naghmeh Ghafari Arie Gurfinkel Richard J. Trefler Verification of Parameterized Systems with Combinations of Abstract Domains. 57-72 2009 FMOODS/FORTE http://dx.doi.org/10.1007/978-3-642-02138-1_4 conf/forte/2009 db/conf/forte/forte2009.html#GhafariGT09