@inproceedings{DPJRRAJTKaW2007,
               author = {D. Lettnin, P. Nalla, J. R. R. Wess, A. Braun, J. Gerlach, T. K. a. W. Rosenstiel},
               title = {Semiformal Verification of Temperal Properties in Embedded Software},
               booktitle = {10. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
               year = {2007},
               address = {Erlangen, Germany}
}