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