A Design of Fault-Tolerant System for Safety-Critical Systems. - Kai Yoshizawa; Nobuyuki Yamasaki (ICARA, 2025)