@InProceedings{Jezequel:1999:UML98,
  author =       "Jean-Marc J{\'e}z{\'e}quel and Alain Le Guennec and
                  Fran{\c{c}}ois Pennaneac'h",
  title =        "Validating Distributed Software Modeled with the {Unified
                  Modeling Language}",
  pages =        "365--377",
  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",
}