Wenchao Li Marco Di Natale Wei Zheng Paolo Giusto Alberto L. Sangiovanni-Vincentelli Sanjit A. Seshia Optimizations of an application-level protocol for enhanced dependability in FlexRay. 1076-1081 2009 DATE http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=5090609&arnumber=5090824&count=326&index=210 conf/date/2009 db/conf/date/date2009.html#LiNZGSS09