Eyasu Getahun Chekole, Huaqun Guo. ICS-SEA: Formally Modeling the Conflicting Design Constraints in ICS. In Proceedings of the Fifth Annual Industrial Control System Security Workshop, ICSS 2019, San Juan, PR, USA, December 10, 2019. pages 60-69, ACM, 2019. [doi]
Abstract is missing.