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