Augmenting MBSE with Digital Twin Technology: Implementation, Analysis, Preliminary Results, and Findings | IEEE Conference Publication | IEEE Xplore