A driver model based on Linux for TinyOS | IEEE Conference Publication | IEEE Xplore