Michael Karner Christian Steger Reinhold Weiss Eric Armengaud Daniel Watzenig Gernot Knoll Verification and analysis of dependable automotive communication systems based on HW/SW co-simulation. 444-447 2008 ETFA http://dx.doi.org/10.1109/ETFA.2008.4638432 conf/etfa/2008 db/conf/etfa/etfa2008.html#KarnerSWAWK08