Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case | IEEE Conference Publication | IEEE Xplore