Luis Reynoso Juan Antonio Cruz-Lemus Marcela Genero Mario Piattini Formal definition of measures for UML statechart diagrams using OCL. 846-847 2008 SAC http://doi.acm.org/10.1145/1363686.1363880 conf/sac/2008 db/conf/sac/sac2008.html#ReynosoCGP08