DA SILVA, M. R. Modeling and Analysis of a Cyber-Attack in an IEC 61850 Scenario using Colored Petri Nets. Spectrum, [S. l.], v. 27, n. 1, 2026. DOI: 10.55972/spectrum.v27i1.453. Disponível em: https://www.spectrum.ita.br/index.php/spectrum/article/view/453. Acesso em: 11 nov. 2026.