Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective