Oliveira, L., & Gurjão, E. 2025 Sep 1. Automatic Cybersecurity Analyzer for the Electric Sector. Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg). [Online] :