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)