@misc{indiciae3f37b3da08b2,
  title = {Systems, methods and apparatus for verification of knowledge-based systems},
  author = {Hinchey, Michael G. and Rash, James L. and Erickson, John D. and Gracinin, Denis and Rouff, Christopher A.},
  year = {2010},
  url = {https://ntrs.nasa.gov/citations/20100042318},
  note = {Source identifier: 20100042318}
}