@inproceedings {BDM-WOSP-02,
	title = {From UML Sequence Diagrams and Statecharts to analysable Petri Net models},
	year = {2002},
	month = {7},
	pages = {35-45},
	publisher = {ACM},
	organization = {ACM},
	author = {S. Bernardi and S. Donatelli and Jos{\'e} Merseguer},
	editor = {P. Inverardi and S. Balsamo and B. Selic}
}

