Mobile Nav

Utilizing MBSE Patterns to Accelerate System Verification