da Silva MR. Modeling and Analysis of a Cyber-Attack in an IEC 61850 Scenario using Colored Petri Nets. Spectrum [Internet]. 27º de outubro de 2026 [citado 11º de novembro de 2026];27(1). Disponível em: https://www.spectrum.ita.br/index.php/spectrum/article/view/453