Service Availability Analysis in a Virtualized System: A Markov Regenerative Model Approach | IEEE Journals & Magazine | IEEE Xplore