The use of JSD on the Spearfish system (heavyweight torpedo)
System hardware and software reliability analysis
Setting software requirements: scenario for future fighters
Security audit for embedded avionics systems
Real-time software development in multiprocessor, multifunction systems
Real-time, Ada-based, avionics processing
RASSP: changing the paradigm of electronic system design
Personal computer models Mil-Std-1750A avionics systems
Multilevel analysis of complex embedded computer systems
Modular embedded computer software for advanced avionics systems
Laboratory concepts in avionics software
Is the Ada bandwagon rolling at last? (military software)
Improving automotive embedded systems engineering at European level
Future spacecraft need distributed data systems
Embedded computer dependencies
Digital map integration in advanced tactical cockpits
Controlling large cyclic avionics software systems written in Ada
Computer-aided prototyping for a command-and-control system using CAPS
Codesign of architectures for automotive powertrain modules