TEODACS : A new vision for testing dependable automotive communication systems. - Eric Armengaud; Daniel Watzenig; Christian Steger; Hubert Berger; Harald C. Gall; Felix Pfister; Markus Pistauer (SIES, 2008)