Julio Pérez Acle Matteo Sonza Reorda Massimo Violante Early, Accurate Dependability Analysis of CAN-Based Networked Systems. 38-45 2006 23 IEEE Design & Test of Computers 1 http://doi.ieeecomputersociety.org/10.1109/MDT.2006.10 db/journals/dt/dt23.html#AcleRV06