Reusing a Declarative Specification to Check the Conformance of Different CIGs · Study