Using SysML Models as Digital Twins for Early Validation of Modular Systems and Systems of Systems | IEEE Conference Publication | IEEE Xplore