Improving automotive embedded systems engineering at European level
Is the Ada bandwagon rolling at last? (military software)
Embedded computer dependencies
Controlling large cyclic avionics software systems written in Ada
Approaches and implementation of software test and development system for embedded computer systems
Future spacecraft need distributed data systems
Real-time, Ada-based, avionics processing
Security audit for embedded avionics systems