Fig. 5From: DCL 2.0: modular and reusable specification of architectural constraints a–c Unknown reference violationBack to article page