Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote) | IEEE Conference Publication | IEEE Xplore