@inproceedings{2008,
               author = {Lettnin, Nalla, Ruf, Kropf, Rosenstiel, Kirsten, Sch√∂nknecht, Reitemeyer},
               title = {Verification of Temporal Properties in Automotive Embedded Software.},
               booktitle = {In: Design, Automation and Test in Europe},
               year = {2008},
}