Tribastone, Mirco  The PEPA Plug-in project.  In: 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), June 2010, London, UK       (Unpublished)   (2006)