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