@misc{indiciae07630eccc0d6,
  title = {Validating Requirements for Fault Tolerant Systems Using Model Checking},
  author = {Holzlmann, Gerard J. and Callahan, John R. and Easterbrook, Steve M. and Schneider, Francis},
  year = {1998},
  url = {https://ntrs.nasa.gov/citations/20210003577},
  note = {Source identifier: 20210003577}
}