Clark, Allan and Gilmore, Stephen and Hillston, Jane and Tribastone, Mirco  Stochastic process algebras.   In:  Formal Methods for Performance Evaluation.   Lecture Notes in Computer Science  (4486).  Springer, pp. 132-179.  ISBN 78-3-540-72522-0      (2007)