@inproceedings{PRJJTW2006,
               author = {P. Duplys, R. J. Weiss, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Monitoring-based Formal Hardware Verification},
               booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
               year = {2006},
}