A generic procedure for troubleshooting of PLC based control systems | IEEE Conference Publication | IEEE Xplore