Our publication “Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata” 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 21st IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021) in December 2021. See Publications for more details!