@phdthesis{Gau03,
title = {\'etude du d\'ebogage de syst\`emes r\'eactifs et application au langage synchrone Lustre },
author = {Gaucher, Fabien},
year = {2003},
school = {Institut National Polytechnique de Grenoble},
team = {SYNC},
}