@MASTERSTHESIS{ITOUNSI10,
  author = {Imen Tounsi},
  title = {{Une approche pour la modélisation et la vérification des
                  politiques d'adaptation pour le style P/S}},
   school = {Facult\'e des Sciences \'Economiques et de Gestion de
                  Sfax},
   year = {2010},
}