publication venue for Software Fault Tolerance for Cyber-Physical Systems via Full System Restart 2020