Juan de Lara Esther Guerra Formal Support for Model Driven Development with Graph Transformation Techniques. 2005 DSDM http://ceur-ws.org/Vol-157/paper04.pdf conf/dsdm/2005 db/conf/dsdm/dsdm2005.html#LaraG05