Fig. 13From: DCL 2.0: modular and reusable specification of architectural constraintsViolations found before and after the removal stepBack to article page