@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",
}