Future military computers/electronics requirements
Software dependability evaluation in space systems
Quality measurement of mission critical systems
Reliability testing of a software-driven system
Fault injection for dependability validation of fault-tolerant computing systems
Software-reliability metrics for military systems
A fault tolerant control law system for combat aircraft
Software requirements for railway signalling systems