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