Strategies for efficient model-based troubleshooting door