Rafael Macieira, Edson Lisboa, and Edna Barros. 2011.
 Device Driver Generation and Checking Approach. In <em>Anais do I Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, novembro 07, 2011, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 72-77.