Gianluca Torta Pietro Torasso Parametric abstraction of behavioral modes for model-based diagnosis. 73-96 2009 22 AI Commun. 2 http://dx.doi.org/10.3233/AIC-2009-0444 db/journals/aicom/aicom22.html#TortaT09