Dieses Werk liefert einen praxisorientierten Leitfaden für die Entwicklung sicherer Bahnanwendungen, indem es moderne Modellierungs‑ und Analyseverfahren mit formaler Verifikation verknüpft und Zertifizierungsstandards erläutert.