Operating system sensitive device driver synthesis from implementation independent protocol specification | IEEE Conference Publication | IEEE Xplore