Ultra high reliable spacecraft computer system design considerations
Future military computers/electronics requirements
Software dependability evaluation in space systems
Quality measurement of mission critical systems
On fly-by-wire control system and statistical analysis of system performance
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
Computers in railyway signalling on London underground
Solid-State-Interlocking (SSI): an integrated electronic signalling system for mainline railways