Problems with failure modes and effects analysis for digital avionics
Fault-tolerant software: motivation und capabilities
Reliability testing of the fault tolerant spacecraft computer (final rept.)
Designing micro-based systems for fail-safe travel