@phdthesis {Merse-Phd,
	title = {Software Performance Engineering based on UML and Petri nets},
	year = {2003},
	month = {3},
	type = {phd},
	author = {Jos{\'e} Merseguer}
}

