@misc{indiciaed91edf87d8fa,
  title = {Detecting Hidden Failure Modes in Critical, Embedded Software},
  author = {Lutz, R.},
  year = {1995},
  url = {https://ntrs.nasa.gov/citations/20060038150},
  note = {Source identifier: 20060038150}
}