Resource Allocation in Software-Defined Vehicles: ILP Model Formulation and Solver Evaluation | IEEE Conference Publication | IEEE Xplore