@MASTERSTHESIS{MS_AGASSARA2011,
  author = {Amal Gassara},
  title = {V\'erification Formelle des Propri\'et\'es non Fonctionnelles des
                  RTES Dynamiquement Reconfigurables},
  school = {\'Ecole Nationale d'Ing\'enieurs de Sfax},
  year = {2011},
}