a first version of the project with the Ecore metamodel.
Fixed issues related to the non unicity of EMF models.
Migration to the new EMF based domain model for ADTs - COMPLETED
COMPLETED: Migration from scala model to EMF model of transition system.
Intermediate version
COMPLETED: Stratagem with EMF models.