PLC code generation based on a formal specification language
Z3: An Efficient SMT Solver