HybridKernel: Preemptive kernel with event-driven extension for resource constrained wireless sensor networks | IEEE Conference Publication | IEEE Xplore