Availability Modeling and Analysis of a Virtualized System
Live migration of virtual machines