Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract | Publicación