@inproceedings{KahEtAl-NFM-12,
  Author =	 {Temesghen Kahsai and Pierre-Lo{\"i}c Garoche and Cesare Tinelli and Mike Whalen},
  Title =	 {Incremental verification with mode variable invariants
in state machines},
  Booktitle =	 {Proceedings of the 4th NASA Formal Methods Symposium
                  (Norfolk, VA, USA)},
  Editor =	 {A. Goodloe and S. Person},
  Publisher =	 {Springer},
  Pages =	 {338--402},
  Series =	 {Lecture Notes in Computer Science},
  Volume =	 7226,
  Year =	 2012,
}