A Declarative Model Assembly Infrastructure for Verification and Validation · Study