Fig. 7From: DCL 2.0: modular and reusable specification of architectural constraints a, b Absence of dominant component violationBack to article page