Macieira, R., 		Lisboa, E., & 		Barros, E.
(2011).
Device Driver Generation and Checking Approach.
In <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 72-77). Porto Alegre: SBC.