@inproceedings{RJJTW2005,
               author = {R. J. Weiss, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Symbolic model checking and simulation with temporal assertions},
               booktitle = {Advances in Design and Specification Languages for SoCs},
               publisher = {Springer},
               year = {2005},
}