Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z., and Varró, D.,
"Implementing Efficient Model Validation in EMF Tools: Tool Demonstration",
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011.