Email Record: Simulation and formal verification of industrial systems controllers