@inproceedings{Ryzhyk_BK_07,
    address          = {Edinburgh, UK},
    author           = {Ryzhyk, Leonid and Bourke, Timothy and Kuz, Ihor},
    booktitle        = {Workshop on Hot Topics in System Dependability},
    editor           = {{Miguel Castro and John Wilkes}},
    keywords         = {device drivers, modelling, systems engineering},
    month            = jun,
    pages            = {Article 3},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1326.pdf},
    publisher        = {USENIX Association},
    title            = {Reliable device drivers require well-defined protocols},
    year             = {2007}
  }