An Analysis on Availability Commitment and Penalty in Cloud SLA