Development and Implementation of an MBSE Requirement Verification Framework in the System Design Process