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