%0 Conference Paper %D 2002 %T A Compositional Semantics for UML State Machines Aimed at Performance Evaluation %A José Merseguer %A S. Bernardi %A J. Campos %A S. Donatelli %E M. Silva %E A. Giua %E J.M. Colon %I IEEE Computer Society Press %P 295-302 %8 10