@conference { twks11,
	title = {Loop Summarization and Termination Analysis},
	booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
	volume = {6605},
	year = {2011},
	pages = {81-95},
	publisher = {Springer},
	organization = {Springer},
	address = {Saarbr{\"u} Germany},
	url = {http://dx.doi.org/10.1007/978-3-642-19835-9_9},
	author = {Aliaksei Tsitovich and Natasha Sharygina and Christoph M. Wintersteiger and Kroening, Daniel}
}
