Control-as-a-service from the cloud: A case study for using virtualized PLCs | IEEE Conference Publication | IEEE Xplore