M. R. da Silva, “Modeling and Analysis of a Cyber-Attack in an IEC 61850 Scenario using Colored Petri Nets”, Spectrum, vol. 27, nº 1, out. 2026.