@techreport{Amani_CDLRZ_12:tr,
    address          = {Sydney, Australia},
    author           = {Amani, Sidney and Chubb, Peter and Donaldson, Alastair and Legg, Alexander and Ryzhyk, Leonid and
                        Zhu, Yanjin},
    institution      = {NICTA},
    issn             = {1833-9646-6317},
    keywords         = {device drivers, reliability, model checking},
    month            = sep,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6317.pdf},
    title            = {Active Device Drivers},
    type             = {Technical Report},
    year             = {2012}
  }