Symbolic techniques addressed to the fault diagnosis of large linear electric circuits | IEEE Conference Publication | IEEE Xplore