B. Ouvrages, SyncCharts: A Visual Representation of Reactive Behaviors ? C. ANDRE ? rapport de recherche RR 96-56, 1996.

G. Berry and G. Gonthier-, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, 1992.
DOI : 10.1016/0167-6423(92)90005-V

URL : https://hal.archives-ouvertes.fr/inria-00075711

B. De-la-méthode and B. Desforges-la-lettre, European Macrosismic Scale 1998 (EMS-1998) sous la direction de G GRÜNTHAL, 1996.

H. D. Pnueli, . Nato, and K. Series, On the development of Reactive Systems in Logics and Models of Concurrent Systems, Statecharts : A visual Approach to Complex Systems, 1985.

?. Kehren, C. Seguin, . Onera, and . Cert, Evaluation qualitative de systèmes physiques pour la sûreté de fonctionnement, 2003.

M. Lesbats, J. Dos, S. , and P. , PERILHON -Ecole d " été "Gestion Scientifique du risque " septembre, 1999.

. L. Le-moigne-j and . Le-moigne-dunod, La modélisation des systèmes complexes, 1990.

?. T. Tanzi and C. Andre, Modélisation synchrone appliquée à la sûreté de fonctionnement, ? Collection sciences et technologies, 1999.

«. Loi and S. , Modèles simples de comportement humain appliqués au transport maritime ? C. VIVALDA -Ecole d " été "Gestion Scientifique du risque " septembre 1999 Textes réglementaires, 1999.

. Stpg-], Décret relatif à la sécurité des transports publics guidés, CNET , recueil de fiabilité, 1993.