@InProceedings{Evans:1999:UML98,
  author =       "Andy Evans and Robert B. France and Kevin Lano and
                  Bernhard Rumpe",
  title =        "The {UML} as a Formal Modeling Notation",
  pages =        "336--348",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}