Eine echtzeitfähige, verteilte, virtuelle Maschine für heterogene Automatisierungscluster.