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