Oliveira, Lucas, and Edmar Candeia Gurjão. " Automatic Cybersecurity Analyzer for the Electric Sector." Companion Proceedings of the 25th Brazilian Symposium on Cybersecurity, Foz do Iguaçu/PR, 2025. SBC, 2025, pp.293-298.