A compositional semantics for UML state machines aimed at performance evaluation | Publicación