T. Ball and S. K. Rajamani, Boolean programs: A model and process for software analysis, 2000.

G. Berry, The foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000.

E. Clarke and D. Kroening, Hardware verification using ANSI-C programs as a reference, Proceedings of ASP- DAC 2003, pp.308-311, 2003.
DOI : 10.1145/1119772.1119831
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.6865

E. Clarke, D. Kroening, and F. Lerda, A Tool for Checking ANSI-C Programs, Tools and Algorithms for the Construction and Analysis of Systems, pp.168-176, 2004.
DOI : 10.1007/978-3-540-24730-2_15

R. Drechsler and D. Grosse, Formal verification of LTL formulas for systemc designs

P. Godefroid, Model checking for programming languages using VeriSoft, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.15-17, 1997.
DOI : 10.1145/263699.263717
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.8581

N. Halbwachs, F. Lagnier, and C. , Programming and verifying critical systems by means of the synchronous dataflow programming language LUSTRE, IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems, 1992.

K. Havelund, Java PathFinder A Translator from Java to Promela, 1999.
DOI : 10.1007/3-540-48234-2_11

K. Havelund, S. Park, and W. Visser, Java pathfinder -second generation of a java model checker, 2000.

B. Jeannet, Dynamic partitioning in linear relation analysis. application to the verification of reactive systems, Formal Methods in System Design, vol.23, issue.1, pp.5-37, 2003.
DOI : 10.1023/A:1024480913162

L. Lamport, Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, vol.3, issue.2, pp.125-143, 1977.
DOI : 10.1109/TSE.1977.229904

F. Maraninchi and Y. Rémond, Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, pp.61-92, 2001.
DOI : 10.1016/S0096-0551(01)00016-9
URL : https://hal.archives-ouvertes.fr/hal-00273055

K. L. Mcmillan, Symbolic Model Checking, 1993.

. Open-systemc-initiative, SystemC v2.0.1 Language Reference Manual, 2003.

T. Sakunkonchak and M. Fujita, Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams, FDL, 2002.
DOI : 10.1007/0-306-48734-9_16