Optimization of system reliability by branch-and-bound
Phased-mission analysis for evaluating the effectiveness of aerospace computing-systems
Mission effectiveness model for a system with several mission types
On fly-by-wire control system and statistical analysis of system performance
Dependability evaluation of integrated hardware/software systems