Several software artifacts are used along the software development process. These are used as input to perform tasks that produce new artifacts. Inconsistencies between related artifacts at different levels of abstraction ...