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)