Slide 1A Benchmark for Techniques and Tools used in the Design of Automotive Communication Systems Christelle BRAUN Lionel HAVET Nicolas NAVET FeT‘ 2007, 9th November 2007,…