Return to Article Details Formal Verification of Security Pattern Composition: Application to SCADA Download Download PDF