System hardware and software reliability analysis
Personal computer models Mil-Std-1750A avionics systems
Is the Ada bandwagon rolling at last? (military software)
Improving automotive embedded systems engineering at European level
Codesign of architectures for automotive powertrain modules
Ada on reduced instruction set computers, for real-time embedded systems