3 B. Polgár I. Ráth I. Majzik 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 Springer Verlag, Berlin 227-235