Model-based diagnosis for automotive repair | IEEE Journals & Magazine | IEEE Xplore