An Automated Design Method for Fault Detection and Isolation of Multidomain Systems Based on Object-Oriented Models | IEEE Journals & Magazine | IEEE Xplore