Mapping the MBSE Environment and Complementary Design Space Exploration Techniques | IEEE Conference Publication | IEEE Xplore