Ein Fachband aus dem FMICS‑Workshop 2013 in Madrid, der neueste Theorien zur formalen Analyse kritischer Systeme zusammenführt und zugleich praxisnahe Fallstudien zu deren Einsatz in sicherheitsrelevanten Bereichen präsentiert.