@InProceedings{Gogolla:1998:PSMT,
  author =       "Martin Gogolla and Francesco Parisi-Presicce",
  title =        "State Diagrams in {UML}: A Formal Semantics using Graph
                  Transformations",
  booktitle =    "Proceedings PSMT'98 Workshop on Precise Semantics for
                  Modeling Techniques",
  editor =       "Manfred Broy and Derek Coleman and Tom S. E. Maibaum and
                  Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9803",
  year =         "1998",
}