Reliable Real-Time Operating System for IoT Devices. - Seong-il Hahm; Jeongchan Kim; Ahreum Jeong; Hyunjin Yi; Sunghan Chang; Shobha Nanda Kishore; Amandeep Chauhan; Siju Punnoose Cherian (IEEE Internet Things J., 2021)