How can you verify that the requirements refinement and allocation process over a system architecture has been made properly?

Classically, if the requirements are written in plain text, it's a very difficult challenge... and that's an understatement...

Watch this STIMULUS video, here comes the New Era for MBSE: