Publications HAL de Lefèvre du labo/EPI Laboratoire de Conception et d'Intégration des Systèmes