Macieira, R., 		Lisboa, E., & 		Barros, E.
2011 nov  7.  Device Driver Generation and Checking Approach. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :