Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker: Incremental Model Synchronization for Efficient Run-Time Monitoring. MoDELS (Workshops) 2009: 124-139