UTILIZING MBSE PATTERNS TO ACCELERATE SYSTEM VERIFICATION. Issue 1 (6th April 2017)