Symbolic algorithm for ambiguity group determination in analog fault diagnosis