Iacobelli, A., Rinieri, L., Melis, A., Al Sadi, A., Prandini, M., & Callegati, F. (2024). Detection of Ladder Logic Bombs in PLC Control Programs: an Architecture based on Formal Verification [Conference paper]. 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS)