"Reverse-Engineering Drivers for Safety and Portability."

Vitaly Chipounov, George Candea (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics