Applying Model-Based System Engineering to the Verification of Space Systems