Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering | IEEE Conference Publication | IEEE Xplore