@inproceedings{PKJPMJTW2007,
               author = {P. K. Nalla, J. Behrend, P. M. Peranandam, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Grid Based Fast Falsification For Bounded Property Checking},
               booktitle = {Forum on Specification & Design Languages (FDL)},
               year = {2007},
}