@conference {166,
	title = {Interpolation-based model checking for efficient incremental analysis of software},
	booktitle = {IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems},
	year = {2013},
	author = {Grigory Fedyukovich and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
