Macieira, R., 		Lisboa, E., & 		Barros, E.
2011 Nov  7.  Device Driver Generation and Checking Approach. Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). [Online] :