Dans les études de sûreté de fonctionnement des systèmes dynamiques et en particulier des systèmes de contrôle-commande, il est nécessaire d’évaluer la probabilité d’occurrence des séquences d’événements qui décrivent l’évolution de ces systèmes ou qui sont considérés critiques. Dans cet article, on utilise les langages probabilistes pour réaliser l’évaluation quantitative de ces séquences. Premièrement, le système à étudier est modélisé par un automate à états finis. L’automate à états finis est ultérieurement transformé dans un automate probabiliste (p-automate) en utilisant la technique des chaînes de Markov à temps discret immergée dans un processus stochastique continu. La détermination formelle des sous-langages associés à chaque état du p-automate permet de calculer leur probabilité d’occurrence et la probabilité d’occurrence des séquences d’événements extraites de ces sous-langages.