@inproceedings{SW2004,
               author = {S. Schmitt, W. Rosenstiel},
               title = {Verification of a Microcontroller IP Core for System-on-Chip Designs Using Low-Cost Prototyping Environments},
               booktitle = {In: Stoffel, Kunz (Eds.): Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},
               year = {2004},
               address = {Kaiserslautern}
}