A framework for formalizing inconsistencies and deviations in human-centered systems (1996)

by G Cugola, E Di Nitto, A Fuggetta, C Ghezzi
Venue:ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 5 Issue 3, ACM