Architecture and design definition processes: Return of experiment about complementary MBSE tools to model consistent architecture layers and to support design trade-offs through a set based concurrent engineering approach | IEEE Conference Publication | IEEE Xplore