Verification of device drivers and intelligent controllers: a case study.

David Monniaux Verification of device drivers and intelligent controllers: a case study. 30-36 2007 EMSOFT http://doi.acm.org/10.1145/1289927.1289937 conf/emsoft/2007 db/conf/emsoft/emsoft2007.html#Monniaux07