On Ladder Logic Bombs in Industrial Control Systems
Accurate modeling of Modbus/TCP for intrusion detection in SCADA systems