@inbook {fmic2005_pv, title = {Formal Methods in Computing}, year = {2005}, pages = {357{\textendash}425}, publisher = {{Akad{\'e}miai Kiad{\'o}}, organization = {{Akad{\'e}miai Kiad{\'o}}, chapter = {Metamodeling and Model Transformations}, author = {Andr{\'a}s Pataricza and D{\'a}niel Varr{\'o}} }