@article{ksttw12,
author={Kroening, Daniel and Sharygina, Natasha and Tonetta, Stefano and Tsitovich, Aliaksei and Wintersteiger, Christoph M.},
title={Loop summarization using state and transition invariants},
journal={Formal Methods in System Design},
publisher={Springer},
year={2012}
}