Our paper entitled "An Integrated Framework for Model-Based Design and Analysis of Automotive Multi-Core Systems" has been accepted for presentation at the Forum on specification and Design Languages (FDL’2015) that will hold in Barcelona (Spain), from September 14th 2015 to September 16th 2015 -- see http://www.ecsi.org/fdl. FDL’2015 is a well established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.