@inproceedings {edcc2002_svp,
	title = {Formal Verification of Model Transformation Systems},
	booktitle = {EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts},
	year = {2002},
	month = {October 23{\textendash}25},
	pages = {15{\textendash}16},
	address = {Toulouse, France},
	author = {G{\'a}bor Salamon and D{\'a}niel Varr{\'o} and Andr{\'a}s Pataricza}
}
