Edmund M. Clarke Himanshu Jain Daniel Kroening Verification of SpecC using predicate abstraction. 5-28 2007 30 Formal Methods in System Design 1 http://dx.doi.org/10.1007/s10703-006-0020-3 db/journals/fmsd/fmsd30.html#ClarkeJK07