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