NASA Quality Assurance in an MBSE World | IEEE Conference Publication | IEEE Xplore