@InProceedings{Cariou:2004:WRKUMLOMDE, author = "Eric Cariou and Rapha{\"e}l Marvie and Lionel Seinturier and Laurence Duchien", title = "{OCL} for the Specification of Model Transformation Contracts", pages = "69--83", booktitle = "OCL and Model Driven Engineering, {UML} 2004 Conference Workshop, October 12, 2004, Lisbon, Portugal", editor = "Octavian Patrascoiu", publisher = "University of Kent", year = "2004", }