@InProceedings{Kuske:2001:UML,
  author =       "Sabine Kuske",
  title =        "A Formal Semantics of {UML} State Machines Based on
                  Structured Graph Transformation",
  pages =        "241--256",
  booktitle =    "UML 2001 - The Unified Modeling Language. Modeling
                            Languages, Concepts, and Tools. 4th
                  International Conference, Toronto, Canada, October 2001,
                  Proceedings",
  editor =       "Martin Gogolla and Cris Kobryn",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2185",
  year =         "2001",
}