Securing industrial control systems with a simulation-based verification system.

Dong Jin, Ying Ni

Browse the full PADS paper archive.