Ghosh, A.; Qin, S.; Lee, J.; Wang, G.-N. An Output Instruction Based PLC Source Code Transformation Approach For Program Logic Simplification. Informatica 2017, 41 (3).