Macieira, Rafael, Edson Lisboa, and Edna Barros.
"Device Driver Generation and Checking Approach." <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Florianópolis, 2011</em>. SBC, 2011,  
pp.72-77.