Our new publication “Defense Models for Data Recovery in Industrial Control Systems” is available online. This is the work of PhD Student, Alvi Jawad. In this work, we equip a manufacturing ICS with three system defenses, modeled using timed automata in UPPAAL, that can perform data recovery against data corruption attacks. Additionally, we compare and contrast how capable each model is in mitigating the impact caused by data corruption attacks. The analysis provides insight into different defensive behaviours and their effectiveness, how they can be affected by attacker behaviours, and suggests some recommendations for developing future ICS defensive strategies. It was was presented at the 15th International Symposium on Foundations & Practice of Security (FPS 2022) in December 2022. See Publications for more details!