Our publication “A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets” is now available online.  In this paper, we present a timed formal mode-based approach is presented to observe and analyze the manifold impact of various cyberattacks on the operations of industrial control systems. The analysis is automated using UPPAAL on timed automata models of a target system and potential attackers. It was presented at the 2022 IEEE International Conference on Communications (ICC) in May 2022. See Publications for more details!