Tribastone, Mirco and Gilmore, Stephen Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. In: Proceedings of the 7th international workshop on Software and performance - WOSP '08. ACM, pp. 67-78. ISBN 978-1-59593-873-2 (2008)