A. Ghosh, S. Qin, J. Lee, and G.-N. Wang, “An Output Instruction Based PLC Source Code Transformation Approach For Program Logic Simplification”, IJCAI, vol. 41, no. 3, Jul. 2017.