Polgar, B., Rath, I. & Majzik, I. (2011) Model-based Integration Framework for Development and Testing Tool-chains. FORMS/FORMAT 2010: FORMAL METHODS FOR AUTOMATION AND SAFETY IN RAILWAY AND AUTOMOTIVE SYSTEMS.