@techreport {BCDM-TSE,
	title = {GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams},
	year = {2004},
	author = {S. Bernardi and J. Campos and S. Donatelli and Jos{\'e} Merseguer}
}

