@article {164,
	title = {Loop summarization using state and transition invariants},
	journal = {Formal Methods in System Design},
	volume = {42},
	year = {2013},
	issn = {0925-9856},
	author = {Kroening, D. and Natasha Sharygina and Tonetta, S. and Tsitovich, A. and Wintersteiger, C.M.}
}
