@InProceedings{Smith:2001:WRKUML,
  author =       "Jeffrey Smith and Mieczyslaw K. Kokar and Kenneth
                  Baclawsi",
  title =        "Formal Verification of {UML} Diagrams: A First Step
                  Towards Code Generation",
  pages =        "224--240",
  booktitle =    "Practical {UML}-Based Rigorous Development Methods -
                  Countering or Integrating the e{X}tremists. Workshop of
                  the {pUML}-Group held together with the UML 2001 October
                  1st, 2001 in Toronto, Canada",
  editor =       "Andy Evans and Robert France and Ana Moreira and Bernhard
                  Rumpe",
  publisher =    "German Informatics Society",
  series =       "LNI",
  volume =       "P-7",
  year =         "2001",
}