%0 Conference Paper %B FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems %D 2011 %T Model-based Integration Framework for Development and Testing Tool-chains %A Polgár, B %A Ráth, I %A Majzik, I %I Springer Verlag, Berlin %P 227-235