Model-based diagnosis of an automotive engine using several types of fault models | IEEE Journals & Magazine | IEEE Xplore