@InProceedings{QVTRelationsFormalization,
  author = 	 {Miguel Garcia},
  title = 	 {{F}ormalization of {QVT-Relations}: {OCL}-based {S}tatic {S}emantics
and {A}lloy-based {V}alidation},
  booktitle = {Proceedings of the Second Workshop on MDSD Today},
  pages = 	 {21--30},
  year = 	 {2008},
  month = 	 {October},
  editor = 	 {Peter Friese and Simon Zambrovski and Frank Zimmermann},
  publisher = {Shaker Verlag},
  note = 	 {ISBN 978-3-8322-7627-0, \url{http://www.sts.tu-harburg.de/~mi.garcia/pubs/2008/qvtr/QVTRelationsFormalization.pdf}},
}