Jasen Markovski Ana Sokolova Nikola Trcka Erik P. de Vink Compositionality for Markov reward chains with fast and silent transitions. 435-452 2009 66 Perform. Eval. 8 http://dx.doi.org/10.1016/j.peva.2009.01.001 db/journals/pe/pe66.html#MarkovskiSTV09