Digital Twin for Verification and Validation of Industrial Automation Systems – a Survey | IEEE Conference Publication | IEEE Xplore