@inproceedings{ASESung2017,
    author = {Sung, Chungha and Kusano, Markus and Wang, Chao},
    title = {Modular Verification of Interrupt-Driven Software},
    year = {2017},
    isbn = {9781538626849},
    publisher = {IEEE Press},
    booktitle = {Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering},
    pages = {206–216},
    numpages = {11},
    keywords = {Static analysis, abstract interpretation, Datalog, Formal verification, Interrupt},
    location = {Urbana-Champaign, IL, USA},
    series = {ASE 2017}
}