da Silva MR. Modeling and Analysis of a Cyber-Attack in an IEC 61850 Scenario using Colored Petri Nets. Spectrum [Internet]. 2026 Oct. 27 [cited 2026 Nov. 11];27(1). Available from: https://spectrum.ita.br/index.php/spectrum/article/view/453