Visible to the public Securing Industrial Control Systems with a Simulation-based Verification System