@inproceedings{Ryzhyk_CKSH_09,
    address          = {Big Sky, MT, US},
    author           = {Ryzhyk, Leonid and Chubb, Peter and Kuz, Ihor and Le Sueur, Etienne and Heiser, Gernot},
    booktitle        = {ACM Symposium on Operating Systems Principles},
    keywords         = {device drivers, software synthsis, reliability},
    month            = oct,
    pages            = {73--86},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1847.pdf},
    title            = {Automatic Device Driver Synthesis with {Termite}},
    year             = {2009}
  }