Critical comparison among some analog fault diagnosis procedures based on symbolic techniques | IEEE Conference Publication | IEEE Xplore