Ein praxisorientiertes Handbuch, das die Ergebnisse des 21. Internationalen Workshops zu formalen Methoden für kritische Systeme zusammenführt und dabei neue Verifikationstools sowie Fallstudien aus der Industrie präsentiert.