Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.

Gregor Engels Marc Lohmann Stefan Sauer Reiko Heckel Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. 336-350 2006 conf/gg/2006 ICGT http://dx.doi.org/10.1007/11841883_24 db/conf/gg/icgt2006.html#EngelsLSH06