Natasha Sharygina Stefano Tonetta Aliaksei Tsitovich The synergy of precise and fast abstractions for program verification. 566-573 2009 SAC http://doi.acm.org/10.1145/1529282.1529404 conf/sac/2009 db/conf/sac/sac2009.html#SharyginaTT09