@phdthesis{R\'01,
title = {Un support langage pour les modes de fonctionnement des syst\`emes temps-r\'eel~: extension de Lustre par des automates de modes },
author = {R\'emond, Yann},
month = {oct},
year = {2001},
school = {Universit\'e Joseph Fourier, Grenoble},
team = {SYNC},
}
