Miranda, D., & Hayashi, V. 2026 set 1. Static analysis for Ladder Logic Bombs (LLB) detection in Programmable Logic Controllers (PLC). Anais do Simpósio Brasileiro de Cibersegurança (SBSeg). [Online] :