@inproceedings{FORMATS '07: Undecidability of Universality for Timed Automata with Minimal Resources,
  title = "Undecidability of Universality for Timed Automata with Minimal Resources",
  author = "Sara Adams and Joel Ouaknine and James Worrell",
  year = "2007",
  booktitle = "Formal Modeling and Analysis of Timed Systems 2007",
  isbn = "978-3-540-75453-4",
  pages = "25-37",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.sara-adams.de/files/formats07.pdf",
  volume = "4763",
}
@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",
}
@misc{MSc Thesis: On the Undecidability of Universality for Timed Automata with Minimal Resources,
  title = "On the Undecidability of Universality for Timed Automata with Minimal Resources",
  author = "Sara Adams",
  year = "2006",
  affiliation = "University of Oxford",
  howpublished = "MSc Thesis",
  url = "http://www.sara-adams.de/files/dissertation.pdf",
}