Cloud Video System Availability Assessment Using Markov and Semi-Markov Models | IEEE Conference Publication | IEEE Xplore