]. E. Clarke and J. M. Wing, Formal methods: state of the art and future directions, ACM Computing Surveys, vol.28, issue.4, pp.0-4, 1996.
DOI : 10.1145/242223.242257
URL : https://hal.archives-ouvertes.fr/hal-00444076

B. Cohen, A brief history of formal methods, FACS Europe, vol.13, pp.0-3, 1994.

F. Jahanian, A. K. , -. E. Mok, and . Trans, Safety analysis of timing properties in Real-time systems, I On soft Une technique de spécification et de validation basée sur la méthode STATEMATE et la logique FNLOG, Eng, vol.127, issue.9, 2002.

A. Sowmya and S. Ramesh, A Semantics-Preserving Transformation of statecharts to FNLOG, Proc.14 th. IFAC Workshop Distributed Computer Control systems, 1997.