@misc{indiciae8bedcf2baae6,
  title = {Provable Transient Recovery for Frame-Based, Fault-Tolerant Computing Systems},
  author = {DiVito, Ben L. and Butler, Ricky W.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/20040121216},
  note = {Source identifier: 20040121216}
}