@misc{indiciaeaed859921b73,
  title = {Using Model-Based Assurance to Strengthen Diagnostic Procedures},
  author = {Lutz, Robyn and Johnson, Jeremy and Patterson-Hine, Ann},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20150005973},
  note = {Source identifier: 20150005973}
}