Semi-Markov's models for availability assessment of an Infrastructure as a Service Cloud with multiple pools of physical and virtual machines | IEEE Conference Publication | IEEE Xplore