Obeid, Fadi, and Philippe Dhaussy. 2020. “Formal Verification of Security Pattern Composition: Application to SCADA”. Computing and Informatics 38 (5):1149–1180. https://doi.org/10.31577/cai_2019_5_1149.