@inproceedings{JMTW2001,
               author = {J. Ruf, M. Hoffmann, T. Kropf, W. Rosenstiel},
               title = {Simulation-Guided Property Checking Based on Multi-Valued AR-Automata},
               booktitle = {Proceedings of Design Automation and Test in Europe (DATE)},
               year = {2001},
}