@inproceedings{DBLP:conf/sara/BernardiniS11,
  title = "Automatic Synthesis of Temporal Invariants",
  author = "Sara Bernardini and David E. Smith",
  year = "2011",
  booktitle = "Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011",
  editor = "Michael R. Genesereth and Peter Z. Revesz",
  publisher = "{AAAI}",
  url = "http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4244",
}