@mastersthesis {ujhelyi_static_2009-1,
	title = {Static Analysis of Model Transformations},
	year = {2009},
	school = {Budapest University of Technology and Economics},
	type = {Masters Thesis},
	keywords = {model transformations, static analysis, type checking, Viatra},
	author = {Zolt{\'a}n Ujhelyi}
}
