Model-based systems engineering of automotive systems | IEEE Conference Publication | IEEE Xplore