Availability as a Cloud Service for Control System of Critical Energy Infrastructure In CEUR Workshop Proceedings., 2104.