@misc{indiciae2d37c7aefca8,
  title = {Reliability-Based Design of a Safety-Critical Automation System: A Case Study},
  author = {Carroll, Carol W. and Dunn, W. and Doty, L. and Frank, M. V. and Hulet, M. and Alvarez, Teresa},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/20010121546},
  note = {Source identifier: 20010121546}
}