Automata-Based Reasoning for the Diagnosis of Short Circuits in Power Transmission Networks