Title: Rule-based detection of inconsistency in software design
First published: 2002