Contributions to the Design of Safe Complex Systems. (Contributions à la Conception des Systèmes Complexes Sûrs). - Rabéa Ameur Boulifa (2023)