Title: A rule-based system for real-time analysis of control systems
Subjects: Flight control