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