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)