A knowledge-based system for troubleshooting real-time models