@misc{indiciaec066f2e463a3,
  title = {A methodology for testing fault-tolerant software},
  author = {Andrews, D. M. and Mahmood, A. and Mccluskey, E. J.},
  year = {1985},
  url = {https://ntrs.nasa.gov/citations/19860013852},
  note = {Source identifier: 19860013852}
}