This paper addresses intricate diagnosis situations in modern cars. It employs a rather new and little known diagnosis paradigm, which is a mixture of model-based and heuristic diagnosis and which is called model compilation [5, 25, 26]. The basic idea is to simulate a model of the system under study in various fault modes and over its typical input range to compile a simulation database C. A s...