@INPROCEEDINGS{MarSokTrcVinEPEW07,
  author = {Markovski, J. and Sokolova, A. and Trcka, N. and Vink, E.P. de},
  title = {Compositionality for {M}arkov Reward Chains with Fast Transitions},
  booktitle = {Proc.\ EPEW 2007},
  year = {2007},
  editor = {K. Wolter},
  pages = {18--32},
  publisher = {LNCS~4748}
}