Mayer W, Abreu R, Stumptner M, van Gemund AJ, others.? 2009.??Prioritising model-based debugging diagnostic reports. Proceedings of the International Workshop on Principles of Diagnosis (DX).