@article { ChakiCSS08,
	title = {Verification of evolving software via component substitutability analysis},
	journal = {Formal Methods in System Design},
	volume = {32},
	number = {3},
	year = {2008},
	pages = {235-266},
	keywords = {Compositional verification - Assume-guarantee reasoning - Automata learning - Predicate abstraction - Software engineering - Model checking},
	author = {Sagar Chaki and  Edmund M. Clarke and  Natasha Sharygina and  Nishant Sinha}
}