A concept for PLC hardware-in-the-loop testing using an extension of structured text | IEEE Conference Publication | IEEE Xplore