A Trusted Safety Verifier for Process Controller Code
Z3: An Efficient SMT Solver