Driver Generation for IoT Nodes With Optimization of the Hardware/Software Interface | IEEE Journals & Magazine | IEEE Xplore