Verification of Temporal Properties in Automotive Embedded Software. - Djones Lettnin; Pradeep Kumar Nalla; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Tobias Kirsten; Volker Schönknecht; Stephan Reitemeyer (DATE, 2008)