@article{Liang:2017:EVL,
  title = "Effective Verification for Low-Level Software with Competing Interrupts",
  author = "Lihao Liang and Tom Melham and Daniel Kroening and Peter Schrammel and Michael Tautschnig",
  year = "2017",
  issn = "1539-9087",
  journal = "ACM Transactions on Embedded Computing Systems",
  month = "December",
  number = "2",
  pages = "36:1--36:26",
  publisher = "ACM",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Liang-2017-EVL.pdf",
  volume = "17",
  doi = "10.1145/3147432",
}