Tribastone, Mirco and Gilmore, Stephen Large-scale modelling with the PEPA eclipse plug-in. In: Operations Research Proceedings 2010. Operations Research Proceedings . Springer, pp. 169-174. ISBN 978-3-642-20009-0 (2011)