IDM pour une approche combinant synthèse et vérification de modèles