Challenges in the modelling of SoS design alternatives with MBSE | IEEE Conference Publication | IEEE Xplore