Philipp Peti Armin Timmerberg Thomas Pfeffer Simon Muller Christoph Rätz A quantitative study on automatic validation of the diagnostic services of Electronic Control Units. 799-808 2008 ETFA http://dx.doi.org/10.1109/ETFA.2008.4638490 conf/etfa/2008 db/conf/etfa/etfa2008.html#PetiTPMR08