StateOS: A Memory-Efficient Hybrid Operating System for IoT Devices | IEEE Journals & Magazine | IEEE Xplore