Real-Time Virtualization for Industrial Automation