Approche compositionnelle sur les langages probabilistes pour l'évaluation des séquences d'événements en Sûreté de Fonctionnement