@InProceedings{Bottoni:2000:UML,
  author =       "Paolo Bottoni and Manuel Koch and Francesco
                  Parisi-Presicce and Gabriele Taentzer",
  title =        "Consistency Checking and Visualization of {OCL}
                  Constraints",
  pages =        "294--308",
  booktitle =    "UML 2000 - The Unified Modeling Language. Advancing the
                  Standard. Third International Conference, York, UK,
                  October 2000, Proceedings",
  editor =       "Andy Evans and Stuart Kent and Bran Selic",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1939",
  year =         "2000",
}