HiL simulation workbench for testing and validating PLC programs | IEEE Conference Publication | IEEE Xplore