@phdthesis{zalila22huthesis,
  author = {Bechir Zalila},
  title  = {{La Modélisation Architecturale au Service des Systèmes Temps réel Répartis Embarqués - Contributions à la Configuration Dynamique, la Tolérance aux Pannes, l'Optimisation et la Vérification Formelle}},
  school = {École Nationale d'Ingénieurs de Sfax},
  type   = {Habilitation Universitaire},
  year   = {2022},
  month  = {mai},
  url    = {data/hu_bz_main_final.pdf},
}