A Formal Condition to Stop an Incremental Automatic Functional Diagnosis | IEEE Conference Publication | IEEE Xplore