Analysis of aspect-oriented models using graph transformation systems