Jordi Cabot Robert Clarisó Esther Guerra Juan de Lara Analysing Graph Transformation Rules through OCL. 229-244 2008 ICMT http://dx.doi.org/10.1007/978-3-540-69927-9_16 conf/icmt/2008 db/conf/icmt/icmt2008.html#CabotCGL08