Modeling and analysis of software rejuvenation in a server virtualized system | IEEE Conference Publication | IEEE Xplore