Fig. 15From: DCL 2.0: modular and reusable specification of architectural constraintsNew features and violationsBack to article page