@misc{indiciaeafc9b66a48f8,
  title = {Markov chains for testing redundant software},
  author = {White, Allan L. and Sjogren, Jon A.},
  year = {1988},
  url = {https://ntrs.nasa.gov/citations/19880056148},
  note = {Source identifier: 19880056148}
}