Efficient Identification and Validation of Control Program Changes in an Automated Production System Using Virtual Commissioning. - Omar Ismail; Felix Gehlhoff; Nihar H. Shah; Alexander Fay (ETFA, 2024)