@misc{indiciae9cfc2155ad95,
  title = {A rule-based system for real-time analysis of control systems},
  author = {Larson, Richard R. and Millard, D. Edward},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19930002431},
  note = {Source identifier: 19930002431}
}