Optimization of system reliability by branch-and-bound
Reconfigurable modular computer networks for spacecraft onboard processing
Architectural description of a fault-tolerant multiprocessor engineering prototype
Hardware/software FMEA applied to airplane safety
A software evaluation: results and recommendations
A simulation technique in microprogram validation
Evaluating the GPSS simulation model for the Viking batch computer system
Ultra high reliable spacecraft computer system design considerations
Computers in railyway signalling on London underground
Full cycle corrective action (FCCA) for improved warranty service