@misc{indiciaeffca5da3898e,
  title = {A Process for Verifying and Validating Requirements for Fault Tolerant Systems Using Model Checking},
  author = {Schneider, F. and Easterbrook, S. and Callahan, J. and Holzmann, G. and Reinholtz, W. and Ko, A. and Shahabuddin, M.},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/20060040554},
  note = {Source identifier: 20060040554}
}