Digital Twin-enabled MBSE Testbed for Prototyping and Evaluating Aerospace Systems: Lessons Learned | IEEE Conference Publication | IEEE Xplore