@inproceedings{kstw2010,
  AUTHOR    = { Kroening, Daniel
                and Sharygina, Natasha
                and Tsitovich, Aliaksei
                and Wintersteiger, Christoph M. },
  TITLE     = { Termination Analysis With Compositional Transition Invariants },
  BOOKTITLE = { Proceedings of CAV 2010 },
  YEAR      = { 2010 },
  PUBLISHER = { Springer },
  NOTE      = { to appear }
}