Multi-variant-based design space exploration for automotive embedded systems | IEEE Conference Publication | IEEE Xplore