@misc{indiciaefd4ff5f32bf7,
  title = {Probabilistic Analysis of Distributed Fault-Tolerant Systems},
  author = {Dutertre, Bruno},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20110011564},
  note = {Source identifier: 20110011564}
}