TY  - RPRT
TI  - Methodology for Designing Fault-Protection Software
AU  - Barltrop, Kevin
AU  - Levison, Jeffrey
AU  - Kan, Edwin
PY  - 2006
UR  - https://ntrs.nasa.gov/citations/20100021298
ID  - 20100021298
ER  -