@InProceedings{Arons:2004:UML,
  author =       "Tamarah Arons and Jozef Hooman and Hillel Kugler and Amir
                  Pnueli and Mark van der Zwaag",
  title =        "Deductive Verification of {UML} Models in {TLPVS}",
  pages =        "335--349",
  booktitle =    "{UML} 2004 - The Unified Modeling Language. Model
                  Languages and Applications. 7th International Conference,
                  Lisbon, Portugal, October 11-15, 2004, Proceedings",
  editor =       "Thomas Baar and Alfred Strohmeier and Ana Moreira and
                  Stephen J. Mellor",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "3273",
  year =         "2004",
}