Leonid Ryzhyk Peter Chubb Ihor Kuz Etienne Le Sueur Gernot Heiser Automatic device driver synthesis with termite. 73-86 2009 SOSP http://doi.acm.org/10.1145/1629575.1629583 conf/sosp/2009 db/conf/sosp/sosp2009.html#RyzhykCKSH09