Return to Article Details Modeling and Analysis of a Cyber-Attack in an IEC 61850 Scenario using Colored Petri Nets Download Download PDF