A quantitative study on automatic validation of the diagnostic services of Electronic Control Units. - Philipp Peti; Armin Timmerberg; Thomas Pfeffer; Simon Muller; Christoph Rätz (ETFA, 2008)