Automated Design Space Exploration for Resource Allocation in Software-Defined Vehicles | IEEE Conference Publication | IEEE Xplore