Tsigkritis, T. & Spanoudakis, G. (2008). A Temporal Abductive Diagnostic Process for Runtime Properties Violations. ExaCt, 391, ISSN 1613-0073