@article{Amani_CDLORZ_14,
    month            = may,
    keywords         = {dingo, device drivers, verification},
    journal          = {ACM Operating Systems Review},
    volume           = {48},
    number           = {1},
    author           = {Amani, Sidney and Chubb, Peter and Donaldson, Alastair and Legg, Alexander and Ong, Keng Chai and
                        Ryzhyk, Leonid and Zhu, Yanjin},
    year             = {2014},
    title            = {Automatic Verification of Active Device Drivers},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8142.pdf}
  }