Alessio Angius, András Horváth: Analysis of stochastic reaction networks with Markov reward models. CMSB 2011: 45-54