da Silva, M. R. Modeling and Analysis of a Cyber-Attack in an IEC 61850 Scenario Using Colored Petri Nets. Spectrum 2026, 27.