@phdthesis{Don07,
title = {Trajectoires pour la V\'erification et la Commande de Syst\`emes Continus et Hybrides },
author = {Donz\'e, Alexandre},
year = {2007},
school = {Universit\'e Joseph Fourier, Grenoble, France},
team = {TEMPO},
}