New ticketing system for the London Underground
Minimizing air launched cruise missile software life cycle cost
Safety of flight issues for an automatic trajectory control system
A multi microprocessor flight control system architectural concepts
Some challenging control problems in ballistic missile defense
Establishing realistic requirements for reliability, maintainability, and built-in-test
Quality measurement of mission critical systems
Methods for evaluating integrated airframe/propulsion control system architectures
Progress in knowledge-based flight monitoring
Microprocessor controlled and managed fly-by-wire hydraulic actuator
The selection of a microprocessor for the Pioneer Venus large probe mass spectrometer
Reliability testing of the fault tolerant spacecraft computer (final rept.)
A measure of reliability for classification of Earth satellite data
Telerobotic work system-space robotics application
Interface design considerations for F-16 sensors and weapons