How can MBSE be used from the early phases of the specification with SysML, through the detailed specification, the software tests, until the final validation phase with Hardware-In-the-Loop tests?

When using CATIA Magic and CATIA Stimulus, how is ensured the digital continuity all along this process?
Check this demo (new version, more precise on the requirements workflow):