Abstract: Traceability plays an important role in model-based systems engineering (MBSE) practices, which helps engineers to ensure information consistency and correct constraint propagation ...