NASA NTRS2012Model-Based Systems Engineering in System Integration, Verification and ValidationNo abstract availablevalidations↗