@inproceedings{Ryzhyk_KH_07,
    address          = {Stevenson, WA, USA},
    author           = {Ryzhyk, Leonid and Kuz, Ihor and Heiser, Gernot},
    booktitle        = {Workshop on Programming Languages and Operating Systems (PLOS)},
    keywords         = {os, device driver, formalisation},
    month            = oct,
    pages            = {5},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/494.pdf},
    publisher        = {ACM},
    title            = {Formalising device driver interfaces},
    year             = {2007}
  }