Evaluating model-based diagnosis for wireless sensor networks