@inproceedings{JRJTW2004,
               author = {J. Ruf, R. J. Weiss, T. Kropf, W. Rosenstiel},
               title = {Modeling and formal verification of production automation systems},
               booktitle = {Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes in Computer Science},
               publisher = {Springer},
               year = {2004},
               volume = {3147},
               pages = {541-566},
}