Tribastone, Mirco and Duguid, Adam and Gilmore, Stephen  The PEPA eclipse plugin.  Performance Evaluation Review, 36 (4).  pp. 28-33.  ISSN 0163-5999      (2009)