@booklet {TR-05-2001,
	title = {Mathematical Model Transformations for System Verification},
	year = {2001},
	month = {May},
	publisher = {Budapest University of Technology and Economics},
	url = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2001/TR-05-2001.pdf},
	author = {D{\'a}niel Varr{\'o} and Andr{\'a}s Pataricza}
}
