@article{Deng_GHM_14,
    author           = {Deng, Yuxin and van Glabbeek, Robert and Hennessy, Matthew and Morgan, Carroll},
    doi              = {10.1016/j.tcs.2013.07.016},
    journal          = {Theoretical Computer Science},
    keywords         = {probabilistic processes, nondeterminism, transition systems, testing equivalences, reward testing,
                        failure simulation, divergence.},
    month            = jul,
    pages            = {16--36},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7321.pdf},
    title            = {Real Reward Testing for Probabilistic Processes},
    volume           = {538},
    year             = {2014}
  }