A Reference Architecture for High-Availability Automatic Failover between PaaS Cloud Providers | IEEE Conference Publication | IEEE Xplore