AIRBUS and ATR System Architecture and Specification
A Knowledge-Based Autonomous Vehicle System for Emergency Management Support
Limits of Correctness in Computers
Real Time Aspects of Manned Space Flight Avionics Computing
Chapter 5. Orbital plane change with aerocruise
Head Up Display. Requirements on an Avionic System
Chapter 4. Fuel optimal control for noncoplanar orbital transfer