High Availability for virtualized Programmable Logic Controllers with Hard Real-Time Requirements on Cloud Infrastructures. - Thomas Kampa; Amer El-Ankah; Daniel Grossmann (INDIN, 2023)