@phdthesis{Chk10a,
title = {Mod\'elisation des syst\`emes temps-r\'eel embarqu\'es en utilisant AADL pour la g\'en\'eration automatique d'applications formellement v\'erifi\'ees },
author = {Chkouri, Mohamad},
year = {2010},
school = {Universit\'e Joseph-Fourier - Grenoble I},
team = {DCS},
}