Model-Based Survivability Analysis of a Virtualized System | IEEE Conference Publication | IEEE Xplore