A Model-Based Design Tool of Automotive Software Architecture | IEEE Conference Publication | IEEE Xplore