with Ligęza, A. , 2017, Model-based diagnosis, in L. Magnani & T. Bertolotti (eds.), Springer handbook of model-based science, Dordrecht, Springer, pp. 435-461.