Reducing the cost and complexity of variant exploration with MBSE & LSP | IEEE Conference Publication | IEEE Xplore