Toward a MBSE Research Testbed: Prototype Implementation and Lessons Learned | IEEE Conference Publication | IEEE Xplore