@misc{indiciaed6fdb7d98337,
  title = {A Tool for Automatic Verification of Real-Time Expert Systems},
  author = {Traylor, B. and Schwuttke, U. and Quan, A.},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/20060038480},
  note = {Source identifier: 20060038480}
}