@InProceedings{Engels:2001:UML,
  author =       "Gregor Engels and Reiko Heckel and Jochen Malte
                  K{\"u}ster",
  title =        "Rule-Based Specification of Behavioral Consistency Based
                  on the {UML} Meta-model",
  pages =        "272--286",
  booktitle =    "UML 2001 - The Unified Modeling Language. Modeling
                            Languages, Concepts, and Tools. 4th
                  International Conference, Toronto, Canada, October 2001,
                  Proceedings",
  editor =       "Martin Gogolla and Cris Kobryn",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2185",
  year =         "2001",
}