@inproceedings{Kroening:2015:EVL,
  title = "Effective Verification of Low-Level Software with Nested Interrupts",
  author = "Daniel Kroening and Lihao Liang and Tom Melham and Peter Schrammel and Michael Tautschnig",
  year = "2015",
  booktitle = "Proceedings of the 2015 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March 9-13, 2015",
  editor = "Wolfgang Nebel and David Atienza",
  isbn = "978-3-9815370-4-8",
  pages = "229--234",
  publisher = "{EDA Consortium}",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Kroening-2015-EVL.pdf",
}