da Silva, M. R. (2026). Modeling and Analysis of a Cyber-Attack in an IEC 61850 Scenario using Colored Petri Nets. Spectrum, 27(1). https://doi.org/10.55972/spectrum.v27i1.453