@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}
}

