A Method for Designing and Analyzing Automotive Software Architecture: A Case Study for an Autonomous Electric Vehicle | IEEE Conference Publication | IEEE Xplore