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
Controlling large cyclic avionics software systems written in Ada
Approaches and implementation of software test and development system for embedded computer systems
The use of JSD on the Spearfish system (heavyweight torpedo)
Multilevel analysis of complex embedded computer systems
Personal computer models Mil-Std-1750A avionics systems
A verifiable, autonomous satellite control system
Real-time, Ada-based, avionics processing
Security audit for embedded avionics systems
Real-time software development in multiprocessor, multifunction systems
Modular embedded computer software for advanced avionics systems
Laboratory concepts in avionics software
Setting software requirements: scenario for future fighters
Digital map integration in advanced tactical cockpits