PLC code generation based on a formal specification language
Control flow analysis