@mastersthesis {Baruzzo08,
	title = {A Unified Framework for Automated UML Model Analysis},
	year = {2008},
	school = {Dipartimento di matematica e Informatica},
	type = {phd},
	author = {Andrea Baruzzo}
}
