@inproceedings{FMCAD '07: Automatic Abstraction in STE,
  title = "Automatic Abstraction in Symbolic Trajectory Evaluation",
  author = "Sara Adams and Magnus Bj�rk and Tom Melham and Carl-Johan Seger",
  year = "2007",
  booktitle = "FMCAD '07: Proceedings of the 7th International Conference on Formal Methods in Computer Aided Design",
  isbn = "0-7695-3023-0",
  pages = "127--135",
  publisher = "IEEE Computer Society",
  url = "http://www.sara-adams.de/files/fmcad07.pdf",
}