Variant generation of software-defined mechatronic systems in model-based systems engineering | IEEE Conference Publication | IEEE Xplore