Pragmatic model verification. (Vérification pragmatique de modèles). - Carlos Alberto Gonzalez Perez (2014)