@phdthesis{Nah07,
title = {Model-Based Testing of Hybrid Systems },
author = {Nahhal, Tarik},
year = {2007},
school = {Universit\'e Joseph Fourier, Grenoble, France},
team = {TEMPO},
}
