Edmund M. Clarke Muralidhar Talupur Helmut Veith Environment Abstraction for Parameterized Verification. 126-141 2006 conf/vmcai/2006 VMCAI http://dx.doi.org/10.1007/11609773_9 db/conf/vmcai/vmcai2006.html#ClarkeTV06