Tribastone, Mirco The PEPA Plug-in Project. In: Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems. QEST 2007. IEEE, pp. 53-54. ISBN 978-0-7695-2883-0 (2007)