Title: Formal specification of a flight guidance system
Subjects: Control theory, Flight control, Aircraft control, Functional design specifications