Fig. 14From: DCL 2.0: modular and reusable specification of architectural constraintsCommits and violationsBack to article page