System hardware and software reliability analysis
Is the Ada bandwagon rolling at last? (military software)
Personal computer models Mil-Std-1750A avionics systems
Ada on reduced instruction set computers, for real-time embedded systems
Codesign of architectures for automotive powertrain modules
Ground zero zero: flying into the next millennium with embedded systems
High Assurance Systems Engineering