An Attribute-Based Availability Model for Large Scale IaaS Clouds with CARMA | IEEE Journals & Magazine | IEEE Xplore