@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} }