Availability Assessment of a Cloud Server System: Comparing Markov and Semi-Markov Models | IEEE Conference Publication | IEEE Xplore