@INPROCEEDINGS{demuthEA:ufa09,
  author = {Birgit Demuth, Claas Wilke},
  title = {Model and Object Verification by Using Dresden OCL},
  booktitle = {Proceedings of the Russian-German Workshop Innovation Information
	Technologies: Theory and Practice, Ufa, Russia, July 25-31, 2009},
  year = {2009},
  pages = {81},
  address = {Ufa, Bashkortostan, Russia},
  month = {July},
  publisher = {Ufa State Aviation Technical University}
}