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