@inproceedings{Ryzhyk_KMRVH_10,
    address          = {Vancouver, Canada},
    author           = {Ryzhyk, Leonid and Keys, John and Mirla, Balachandra and Raghunath, Arun and Vij, Mona and Heiser,
                        Gernot},
    booktitle        = {Workshop on Hot Topics in System Dependability},
    keywords         = {device drivers, reliability, testing},
    month            = oct,
    pages            = {1--6},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3975.pdf},
    title            = {Improved Device Driver Reliability Through Verification Reuse},
    year             = {2010}
  }