Alvi Jawad, Jason Jaskolka. Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata. In 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021, Hainan, China, December 6-10, 2021. pages 966-977, IEEE, 2021. [doi]
Abstract is missing.