@inproceedings {1052,
	title = {Model-based Integration Framework for Development and Testing Tool-chains},
	booktitle = {FORMS/FORMAT 2010, the 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems},
	year = {2010},
	month = {03/12/2010},
	pages = {204-212},
	publisher = {Springer Verlag, Berlin},
	organization = {Springer Verlag, Berlin},
	address = {Braunschweig, Germany},
	author = {Bal{\'a}zs Polg{\'a}r and Istv{\'a}n R{\'a}th and Istv{\'a}n Majzik}
}
