www.prismmodelchecker.org
[GHHK04] S. Gilmore, V. Haenel, J. Hillston and L. Kloul. PEPA nets in practice: Modelling a decentralised peer-to-peer emergency medical application. In Proc. 1st European Performance Evaluation Workshop (EPEW'04), volume 3236 of LNCS, pages 262-277, Springer-Verlag. October 2004. http://www.dcs.ed.ac.uk/home/stg/
Notes: The original publication is available at www.springerlink.com.

Publications