Daniel Kästner Reinhard Wilhelm Reinhold Heckmann Marc Schlickling Markus Pister Marek Jersak Kai Richter Christian Ferdinand Timing Validation of Automotive Software. 93-107 2008 ISoLA http://dx.doi.org/10.1007/978-3-540-88479-8_8 conf/isola/2008 db/conf/isola/isola2008.html#KastnerWHSPJRF08