@inproceedings{DRAJW2005,
               author = {D. Lettnin, R. Weiss, A. Braun, J. Ruf, W. Rosenstiel},
               title = {Temporal Properties Verification of System Level Design},
               booktitle = {In: Workshop on Object Oriented Software Design for Real Time and Embedded Computer Systems, 2005, Erfurt. Proceedings Net.ObjectDays 2005.},
               year = {2005},
               pages = {271-282},
}