Obeid, F. and Dhaussy, P. 2020. Formal Verification of Security Pattern Composition: Application to SCADA. Computing and Informatics. 38, 5 (Feb. 2020), 1149–1180. DOI:https://doi.org/10.31577/cai_2019_5_1149.