Availability study on cloud computing environments: Live migration as a rejuvenation mechanism | Synapse