Obeid, F.; Dhaussy, P. Formal Verification of Security Pattern Composition: Application to SCADA. Comput. Inform. 2020, 38, 1149–1180.