Gérard Basler Michele Mazzucchi Thomas Wahl Daniel Kroening Context-aware counter abstraction. 223-245 2010 36 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-010-0096-7 db/journals/fmsd/fmsd36.html#BaslerMWK10