Outils pour l'analyse des modèles hybrides