@InProceedings{Gogolla:2003:UML,
  author =       "Martin Gogolla and J{\"o}rn Bohling and Mark Richters",
  title =        "Validation of {UML} and {OCL} Models by Automatic
                  Snapshot Generation",
  pages =        "265--279",
  booktitle =    "{UML} 2003 - The Unified Modeling Language. Model
                  Languages and Applications. 6th International Conference,
                  San Francisco, {CA}, {USA}, October 2003, Proceedings",
  editor =       "Perdita Stevens and Jon Whittle and Grady Booch",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2863",
  year =         "2003",
}