Shrestha, Roshan, Hoda Mehrpouyan, and Dianxiang Xu. 2018. “Model checking of security properties in industrial control systems (ICS)”. Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, 164-66. Last updated on 07/19/2023