Several cyber-physical systems use real-time restartbased embedded systems with the Simplex architecture to provide safety guarantees against system faults. Some approaches have been developed to protect such systems from ...