@inproceedings { 210, title = {Model-based Integration Framework for Development and Testing Tool-chains}, booktitle = {FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems}, year = {2011}, pages = {227-235}, publisher = {Springer Verlag, Berlin}, organization = {Springer Verlag, Berlin}, author = {B. Polgár and I. Ráth and I. Majzik} }