A Domain-Specific Language for Traceability in Modeling