Title: Digital-flight-control-system software written in automated-engineering-design language
Subjects: Control systems, Airplanes