Model-based reasoning: Troubleshooting