Jasen Markovski Ana Sokolova Nikola Trcka Erik P. de Vink Compositionality for Markov Reward Chains with Fast Transitions. 18-32 2007 conf/epew/2007 EPEW http://dx.doi.org/10.1007/978-3-540-75211-0_3 db/conf/epew/epew2007.html#MarkovskiSTV07