@misc{indiciae7307eb4e9219,
  title = {High level design proof of a reliable computing platform},
  author = {Divito, Ben L. and Butler, Ricky W. and Caldwell, James L.},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19910008254},
  note = {Source identifier: 19910008254}
}