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