The Digitalization of Formula 1: Innovations from Car Design to Race Strategy | IEEE Conference Publication | IEEE Xplore