@book{zalila2022hurepubfr,
  author    = {Bechir Zalila},
  title     = {{La Modélisation Architecturale au Service des Systèmes TR2E. Contributions à la Configuration Dynamique, la Tolérance aux Pannes, l’Optimisation et la Vérification Formelle}},
  publisher = {Éditions Universitaires Européennes},
  address   = {Europe},
  year      = {2022},
  isbn      = {978-620-3-44199-4},
  note      = {Available at https://www.morebooks.shop/shop-ui/shop/product/9786203441994 and https://www.amazon.com/Modélisation-Architecturale-Service-Systèmes-TR2E/dp/6203441996/},
}