Simulation et vérification de modèle par métamodélisation executable door Benoit Combemale