TIGER: Numeric and Qualitative Model Based Diagnosis | Publicación