Bibtex:

@article{klmst2017,
  AUTHOR    = { Kroening, Daniel
                and Liang, Lihao
                and Melham, Tom 
                and Schrammel, Peter
                and Tautschnig, Michael },
  TITLE     = { Effective Verification for Low-Level Software with Competing Interrupts },
  YEAR      = { 2018 },
  JOURNAL   = { ACM Transactions on Embedded Computing Systems (TECS) },
  VOLUME    = { 17 },
  MONTH     = { April },
  NUMBER    = { 2 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.