Macieira, Rafael, 		Lisboa, Edson, E 		Barros, Edna.
" Device Driver Generation and Checking Approach" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (7 novembro 2011)