Fig. 6From: DCL 2.0: modular and reusable specification of architectural constraints a, b Incorrect location violationBack to article page