@phdthesis{Kri07,
title = {Model Based Testing for Real-Time Systems },
author = {Krichen, Moez},
month = {12},
year = {2007},
school = {Universit\'e Joseph Fourier, Grenoble, France},
team = {TEMPO, DCS},
}