Combining Program Slicing and Algorithmic Debugging to Diagnose a PLC program | IEEE Conference Publication | IEEE Xplore