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
Computers in railyway signalling on London underground
Methods for evaluating integrated airframe/propulsion control system architectures
Advanced surface design for logistics analysis
A practical reliability evaluation of embedded avionic software
Software design for the fault tolerant electrical power system
Implementation of ATC systems in developing countries