Vérification des objectifs de disponibilité et de maintenabilité des systèmes complexes modélisés par leurs ensembles minimaux vers une optimisation de la sûreté des systèmes — Rezki Ziani