Verification and analysis of dependable automotive communication systems based on HW/SW co-simulation. - Michael Karner; Christian Steger; Reinhold Weiss; Eric Armengaud; Daniel Watzenig; Gernot Knoll (ETFA, 2008)