Test-driven development of consumer electronics device drivers: A user-level device driver approach | IEEE Conference Publication | IEEE Xplore