Virtual Commissioning for Industrial Automation