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