Design-time simulation of domain-specific models by incremental pattern matching. - István Ráth; David Vago; Dániel Varró (VL/HCC, 2008)