Clark, Allan and Duguid, Adam and Gilmore, Stephen and Tribastone, Mirco Partial evaluation of PEPA models for fluid-flow analysis. In: Computer Performance Engineering. Lecture Notes in Computer Science (5261). Springer, pp. 2-16. ISBN 978-3-540-87412-6 (2008)