On Ladder Logic Bombs in Industrial Control Systems
A Trusted Safety Verifier for Process Controller Code