Model based diagnosis for automotive engines-algorithm development and testing on a production vehicle | IEEE Journals & Magazine | IEEE Xplore