@conference { FSS_TACAS13,
	title = {eVolCheck: Incremental Upgrade Checker for C},
	booktitle = {19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
	year = {2013},
	publisher = {Springer},
	organization = {Springer},
	author = {Grigory Fedyukovich and Sery, O. and Natasha Sharygina}
}
