System hardware and software reliability analysis
Embedded computer dependencies
Is the Ada bandwagon rolling at last? (military software)
Future spacecraft need distributed data systems
Capacity management of air traffic control computer systems
Ada in Embedded Avionic Systems
Avionics Systems Engineering and Its Relationship to Mission Software Development
Controlling large cyclic avionics software systems written in Ada
Approaches and implementation of software test and development system for embedded computer systems
Software Engineering and Its Application to Avionics
Computing Systems Configuration for Highly Integrated Guidance and Control Systems
Intelligent Tutoring in the Spacecraft Command/Control Environment
The use of JSD on the Spearfish system (heavyweight torpedo)
Multilevel analysis of complex embedded computer systems
Common Ada Missile Packages. Phase 2. (CAMP-2). Volume 2. 11th Missile Demonstration
Personal computer models Mil-Std-1750A avionics systems
A verifiable, autonomous satellite control system