Actuellement, les méthodes formelles sont de plus en plus utilisées dans le but d'analyser le comportement les systèmes dits temps-réel. Ces méthodes utilisent des modèles formels de spécification dotés de sémantiques bien définies et des techniques de vérification formelle...