Spanoudakis, George and Kim, Hyoseob (2002) Diagnosis of the significance of inconsistencies in software designs: a framework and its experimental evaluation. Journal of systems and software, 64 (1). pp. 3-22. ISSN 0164-1212