Tribastone, Mirco and Gilmore, Stephen Automatic translation of UML sequence diagrams into PEPA models. In: Proceedings of the 5th International Conference on Quantitative Evaluation of Systems. QEST '08. IEEE, pp. 205-214. ISBN 978-0-7695-3360-5 (2008)