Ein Fachband aus dem fünften internationalen Workshop in Tokio, der überarbeitete Forschungsbeiträge zu formalen Methoden für sicherheitskritische Systeme präsentiert und neue Ansätze zur Modellierung, Verifikation und Analyse von Hochsicherheitsanwendungen beleuchtet.