publicações Génération Automatique de Modèles de Simulation pour la Validation de Systèmes Hétérogènes Embarqués Documento