A new computerized approach to reliability assessment of complex satellite payloads
Weapons systems analysis, part 1: System effectiveness
A software evaluation: results and recommendations
Full cycle corrective action (FCCA) for improved warranty service
Architecture optimization of aerospace computing systems
Software validation for a railway signalling system
A highly available microprocessor-based plant controller
Reliability and flexibility of the IRAS on-board software
Fault-tolerant computer system design using GRAMP