Supporting troubleshooting in machine and plant manufacturing by backstepping of PLC-control software | IEEE Conference Publication | IEEE Xplore