@inproceedings{2009,
               author = {Djones Lettnin and Pradeep Kumar Nalla and Jörg Behrend and Jürgen Ruf and Joachim Gerlach and Thomas Kropf and Wolfgang Rosenstiel and Volker Schönknecht and Stephan Reitemeyer},
               title = {Semiformal verification of temporal properties in automotive hardware dependent software},
               booktitle = {DATE},
               year = {2009},
               pages = {1214-1217},
}