Robust generation of analytical redundancy equations and applications to diagnosis | IEEE Conference Publication | IEEE Xplore