@inproceedings{JRTW2004,
               author = {J. Ruf, R. Weiss, T. Kropf, W. Rosenstiel},
               title = {Modeling and Formal Verification of Production Automation Systems},
               booktitle = {In Proceedings of Forum on Design Languages (FDL)},
               year = {2004},
}