An object-oriented design method for Fault Detection and Isolation | IEEE Conference Publication | IEEE Xplore