Marc Lohmann Gregor Engels Stefan Sauer Model-driven Monitoring: Generating Assertions from Visual Contracts. 355-356 2006 conf/kbse/2006 ASE http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52 db/conf/kbse/ase2006.html#LohmannES06