TES-SAVi AWESUM™ model-based systems engineering (MBSE) for FACETM applications | IEEE Conference Publication | IEEE Xplore