Optimization of system reliability by branch-and-bound
Phased-mission analysis for evaluating the effectiveness of aerospace computing-systems
Failure mode, effect and criticality analysis
Complex system modelling with fault trees and stochastic processes
Mission effectiveness model for a system with several mission types
Evaluation of control mixer concept for reconfiguration of flight control system
Dependability evaluation of integrated hardware/software systems
On fly-by-wire control system and statistical analysis of system performance