Availability Modeling and Analysis of a Virtualized System | IEEE Conference Publication | IEEE Xplore