Roberto Gorrieri Ulrich Herzog Jane Hillston Unified specification and performance evaluation using stochastic process algebras. 79-82 2002 50 Perform. Eval. 2/3 db/journals/pe/pe50.html#GorrieriHH02 http://dx.doi.org/10.1016/S0166-5316(02)00100-1