@inproceedings{39393,
  author       = {{Dangelmeier, Wilhelm and Darnedde, C. and Flake, Stephan and Müller, Wolfgang and Pape, U.}},
  title        = {{{Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen}}},
  year         = {{2002}},
}