@Inproceedings{EPTCS56.6,
  author    = {Dur\'an, Francisco and Gogolla, Martin and Rold\'an, Manuel},
  year      = {2011},
  title     = {Tracing Properties of UML and OCL Models with Maude},
  editor    = {Dur\'an, Francisco and Rusu, Vlad},
  booktitle = {{\rm Proceedings Second International Workshop on}
               Algebraic Methods in Model-based Software Engineering,
               {\rm Zurich, Switzerland, 30th June 2011}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {56},
  publisher = {Open Publishing Association},
  pages     = {81-97},
  doi       = {10.4204/EPTCS.56.6},
}