Jeroen De Busser: Model checking AToMPM transformation systems with Groove

We propose a set of model transformations in AToMPM that transform any AToMPM transformation system(abstract syntax, model instances, MoTiF transformation rules and rule scheduling) to its equivalent representation in Groove. This enables the use of Groove's model checking and state space generation tool-set.