@misc{indiciae0ee8920f419f,
  title = {Formal Techniques for Synchronized Fault-Tolerant Systems},
  author = {DiVito, Ben L. and Butler, Ricky W.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/20040121140},
  note = {Source identifier: 20040121140}
}