Ein praxisnahes Werk über Flugzeugantriebssysteme, das die Landing‑Gear‑Fallstudie aus der vierten internationalen Konferenz zu abstrakten Zustandsmaschinen beleuchtet und die Anwendung von Alloy, B, TLA+ sowie VDM in verständlicher Sprache darstellt.