Validation of the dependability of CAN-based networked systems. - Fulvio Corno; Julio Pérez Acle; Mattia Ramasso; Matteo Sonza Reorda; Massimo Violante (HLDVT, 2004)