Yixiao Li, Hiroaki Takada: iSotEE: A Hypervisor Middleware for IoT-Enabled Resource-Constrained Reliable Systems. IEEE Access 10: 8566-8576 (2022)