@inproceedings { ksttw2008,
	title = { Loop Summarization using Abstract Transformers},
	booktitle = {6th International Symposium on Automated Technology for Verification and Analysis (ATVA)},
	volume = {5311},
	year = {2008},
	pages = {111-125},
	publisher = { Springer},
	organization = { Springer},
	type = {inproceedings},
	address = {Seoul, South Korea},
	URL = {http://dx.doi.org/10.1007/978-3-540-88387-6_10},
	author = { Kroening, Daniel  and   Sharygina, Natasha  and   Tonetta, Stefano  and   Tsitovich, Aliaksei  and   Wintersteiger, Christoph M.}
}