Der Band präsentiert überarbeitete Arbeiten aus dem FTSCS‑Workshop 2014 in Luxemburg und beleuchtet neue Ansätze zur formalen Modellierung, Verifikation und Analyse sicherheitskritischer Systeme, wobei sowohl theoretische Grundlagen als auch praxisnahe Fallstudien im Fokus stehen.