@misc{indiciaea10286557649,
  title = {A formal approach to validation and verification for knowledge-based control systems},
  author = {Castore, Glen},
  year = {1987},
  url = {https://ntrs.nasa.gov/citations/19880007849},
  note = {Source identifier: 19880007849}
}