Research on rejuvenation analytical models for a virtualized system with live VM migration