Contains the keyword incremental evaluation
Implementing Efficient Model Validation in EMF Tools: Tool Demonstration. In: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). Lawrence, Kansas, USA: IEEE Computer Society; 2011. Abstract