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

by G CUGOLA, E D NITTO, A FUGGETTA, C GHEZZI
Venue:ACM Transactions on Software Engineering and Methodology