Software-reliability metrics for military systems
Support systems for advanced military electronics
Some microcomputer approaches to full engine control
Reliability and safety analysis of a fault-tolerant controller
Reliability testing of a software-driven system
A fault-tolerant system architecture for navy applications
Fault injection for dependability validation of fault-tolerant computing systems
Decomposition-aggregation techniques for modelling and stability studies of arms race systems
A fault tolerant control law system for combat aircraft
Software requirements for railway signalling systems