Digital Twin for Verification and Validation of Industrial Automation Systems – a Survey | Publicación