@inproceedings{PMPKJRJTW2006,
               author = {P. M. Peranandam, P. K. Nalla, J. Ruf, R. J. Weiss, T. Kropf, W. Rosenstiel},
               title = {Fast Falsification Based on Symbolic Bounded Property Checking},
               booktitle = {43rd Design Automation Conference (DAC)},
               year = {2006},
}