with Dodig-Crnkovic, G. , 2017, Computational Aspects of model-based reasoning, in L. Magnani & T. Bertolotti (eds.), Springer handbook of model-based science, Dordrecht, Springer, pp. 695-718.