Formal definition of measures for UML statechart diagrams using OCL | Publicación