Assessment of Space Shuttle Flight Software Development Processes

Resilience engineering

Resilience engineering

Directions and Implications of Advanced Computing

1993

SafeWare

1995