@inproceedings{JPTW2003,
               author = {J. Ruf, P. Peranandam, T. Kropf, W. Rosenstiel},
               title = {Using Symbolic Simulation for Bounded Property Checking},
               booktitle = {Proceedings of Forum on Design Languages (FDL)},
               year = {2003},
}