Jongwoo Han, Chang-Gun Lee, Sanjoy K. Baruah: Improved Results for Guaranteeing Safety Despite Physical Errors in CPS's. RTSS 2022: 266-276