@inproceedings{JPMTW2003,
               author = {J. Ruf, P. M. Peranandam, T. Kropf, W. Rosenstiel},
               title = {Bounded property checking with symbolic simulation (2)},
               booktitle = {In Forum on Specification and Design Languages},
               year = {2003},
}