Djones Lettnin Pradeep Kumar Nalla Jürgen Ruf Thomas Kropf Wolfgang Rosenstiel Tobias Kirsten Volker Schönknecht Stephan Reitemeyer Verification of Temporal Properties in Automotive Embedded Software. 164-169 2008 DATE http://dx.doi.org/10.1109/DATE.2008.4484680 conf/date/2008 db/conf/date/date2008.html#LettninNRKRKSR08