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