@inproceedings{RJTW2005,
               author = {R. Weiss, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Symbolic model checking and simulation with temporal assertions},
               booktitle = {In Proceedings of Design, Automation and Test in Europe (DATE)},
               year = {2005},
}