Ein Fachband aus dem FMICS‑Workshop 2008 in L’Aquila, der aktuelle Forschungsansätze zur formalen Analyse sicherheitskritischer Systeme zusammenführt und neue theoretische Modelle sowie praxisnahe Fallstudien vorstellt.