Reliability and safety analysis of a fault-tolerant controller
Reliability testing of a software-driven system
Fault injection for dependability validation of fault-tolerant computing systems
A fault-tolerant system architecture for navy applications
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