"Evaluating Models for Model-Based Debugging."

Wolfgang Mayer, Markus Stumptner (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics