2017. An Output Instruction Based PLC Source Code Transformation Approach For Program Logic Simplification. Informatica. 41, 3 (Jul. 2017).