Tribastone, Mirco and Ding, Jie and Gilmore, Stephen and Hillston, Jane  Fluid rewards for a stochastic process algebra.  IEEE Transactions on Software Engineering, 38 (4).  pp. 861-874.  ISSN 0098-5589      (2012)