TY  - RPRT
TI  - High level design proof of a reliable computing platform
AU  - Divito, Ben L.
AU  - Butler, Ricky W.
AU  - Caldwell, James L.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19910008254
ID  - 19910008254
ER  -