@misc{indiciae984a68795189,
  title = {Validating Requirements for Fault Tolerant Systems Using Model Checking},
  author = {Schneider, F.},
  year = {1998},
  url = {https://ntrs.nasa.gov/citations/20210003217},
  note = {Source identifier: 20210003217}
}