@inproceedings{DMAJJTW2007,
               author = {D. Lettnin, M. Winterholer, A. Braun, J. Gerlach, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Coverage Driven Verification applied to Embedded Software},
               booktitle = {IEEE Computer Society Annual Symposium on VLSI (ISVLSI)},
               year = {2007},
               address = {Porto Alegre, Brazil}
}