Ein wissenschaftlicher Band aus dem SOFL+MSVL‑Workshop 2014 in Luxemburg, der innovative Ansätze zur formalen Modellierung objektorientierter Systeme zusammenfasst und deren theoretische Grundlagen sowie Anwendungsbeispiele beleuchtet.