"Evaluating Models for Model-Based Debugging."

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