A scalable availability model for Infrastructure-as-a-Service cloud | IEEE Conference Publication | IEEE Xplore