Macieira, R., 		Lisboa, E., & 		Barros, E.
(2011).
 Device Driver Generation and Checking Approach.
In <em>Proceedings of the 1st Brazilian Symposium on Computing Systems Engineering</em>, (pp. 72-77). Porto Alegre: SBC.