R3TOS: A reliable reconfigurable real-time operating system. - Iturbe, Xabier; Benkrid, Khaled; Erdogan, Ahmet T.; Arslan, Tughrul; Azkarate-askasua, Mikel; Martinez, Imanol; Perez, Antonio (2010)