Edmund M. Clarke Natasha Sharygina Nishant Sinha Program Compatibility Approaches. 243-258 2005 conf/fmco/2005 FMCO http://dx.doi.org/10.1007/11804192_12 db/conf/fmco/fmco2005.html#ClarkeSS05