Efficient Identification and Validation of Control Program Changes in an Automated Production System Using Virtual Commissioning | IEEE Conference Publication | IEEE Xplore