Pathfinding Model-Based Mission Assurance: S&MA Representation & Interaction within MBSE | IEEE Conference Publication | IEEE Xplore