@InProceedings{Graw:2002:WRKUMLWISME,
  author =       "G{\"u}nter Graw and Peter Herrmann",
  title =        "Verification of {xUML} Specifications in the context of
                  {MDA}",
  booktitle =    "Workshop in Software Model Engineering",
  editor =       "Jean Bezivin and Robert France",
  year =         "2002",
}