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