Sagar Chaki Edmund M. Clarke Natasha Sharygina Nishant Sinha Verification of evolving software via component substitutability analysis. 235-266 2008 32 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-008-0053-x db/journals/fmsd/fmsd32.html#ChakiCSS08