@article{peva09,
  author = {Markovski, J. and Sokolova, A. and Trcka, N. and Vink, E.P. de},
  title = {Compositionality for {M}arkov Reward Chains with Fast Transitions},
  journal = {Performance Evaluation},
  year = {2009},
  volume = {66},
  pages = {435--452}
}