Accurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representationsN. SatoK.S. Trivedi2007SCC 2007