@misc{indiciae04b518891396,
  title = {Markov reliability models for digital flight control systems},
  author = {Mcgough, John and Reibman, Andrew and Trivedi, Kishor},
  year = {1989},
  url = {https://ntrs.nasa.gov/citations/19890044092},
  note = {Source identifier: 19890044092}
}