SmartOSEK Based Design and Verification for In-vehicle Network System: A Model-Based Approach | IEEE Conference Publication | IEEE Xplore