@inproceedings { KSTW10,
	title = {Termination Analysis with  Compositional Transition Invariants},
	booktitle = {International Conference on Computer-Aided Verification (CAV)},
	year = {2010},
	pages = {89-103},
	publisher = {Springer},
	organization = {Springer},
	address = {Edinburgh, UK},
	keywords = {Termination, transition invariants},
	URL = {http://dx.doi.org/10.1007/978-3-642-14295-6_9},
	author = {Daniel Kroening and  Natasha Sharygina and   Aliaksei Tsitovich and   Christoph M. Wintersteiger}
}