@inproceedings {MBCD-wodes02, title = {A Compositional Semantics for UML State Machines Aimed at Performance Evaluation}, year = {2002}, month = {10}, pages = {295-302}, publisher = {IEEE Computer Society Press}, organization = {IEEE Computer Society Press}, author = {Jos{\'e} Merseguer and S. Bernardi and J. Campos and S. Donatelli}, editor = {M. Silva and A. Giua and J.M. Colon} }