Framework and method for model based diagnosis with application to an automotive engine | IEEE Conference Publication | IEEE Xplore