G. Ciardo, A. Blakemore, P.F. Chimento, and K.S. Trivedi, "Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets", Linear Algebra, Markov Chains, and Queueing Models, IMA Volumes in Math. and its Applications, A. Friedman and J.W. Miller, eds., vol. 48, pp. 145-191.Heidelberg, Germany: Springer-Verlag, 1993.