Ghosh, Arup, Shiming Qin, Jooyeoun Lee, and Gi-Nam Wang. 2017. “An Output Instruction Based PLC Source Code Transformation Approach For Program Logic Simplification”. Informatica 41 (3). https://puffbird.ijs.si/index.php/informatica/article/view/1352.