Design space exploration for the model-based design of the power distribution system in vehicles Chapter