ConceptOS: A Micro-Kernel Approach to Firmware Updates of Always-On Resource-Constrained Hubris-Based IoT Systems | IEEE Journals & Magazine | IEEE Xplore