Guoqing Yang Minde Zhao Hong Li Zhaohui Wu SmartOSEK Based Design and Verification for In-vehicle Network System: A Model-Based Approach. 1-6 2006 ICARCV http://dx.doi.org/10.1109/ICARCV.2006.345052 conf/icarcv/2006 db/conf/icarcv/icarcv2006.html#YangZLW06