Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations. - Thorsten Arendt; Gabriele Taentzer; Alexander Weber 009 (OCL@MoDELS, 2013)