A. Benveniste, P. Le-guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, 1989.
DOI : 10.1016/0167-6423(91)90001-E

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

M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis, The IF Toolset, 4th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time, SFM-04:RT, 2004.
DOI : 10.1007/978-3-540-30080-9_8
URL : https://hal.archives-ouvertes.fr/hal-00361307

R. Drechsler and D. Groe, CheckSyC: an efficient property checker for rtl SystemC designs, IEEE International Symposium on Circuits and Systems, 2005. ISCAS, pp.4167-4170, 2005.

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

D. Hoffmann, J. Gerlach, J. Ruf, T. Kropf, W. Mueller et al., The simulation semantics of systemC, 2001.

J. Gerard and . Holzmann, The SPIN Model Checker. Pearson Education, 2003.

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

K. L. Man, Formal Communication Semantics of SystemC^FL, 8th Euromicro Conference on Digital System Design (DSD'05), pp.338-345, 2005.
DOI : 10.1109/DSD.2005.41

K. L. Mcmillan, The SMV System, 1992.
DOI : 10.1007/978-1-4615-3190-6_4

M. Moy, Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level, INPG, 2005.
URL : https://hal.archives-ouvertes.fr/tel-00311033

M. Moy, F. Maraninchi, and L. Maillet-contoz, Pinapa, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005.
DOI : 10.1145/1086228.1086286
URL : https://hal.archives-ouvertes.fr/hal-00198669

M. Moy, F. Maraninchi, and L. Maillet-contoz, LusSy: an open Tool for the Analysis of Systems-on-a-Chip at the Transaction Level. Design Automation for Embedded Systems, pp.73-104, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00310999

A. Salem, Formal semantics of synchronous SystemC, 2003 Design, Automation and Test in Europe Conference and Exhibition, pp.10376-10381, 2003.
DOI : 10.1109/DATE.2003.1253637

J. Talpin, P. Le-guernic, S. Shukla, and R. Gupta, Compositional behavioral modeling of embedded systems and conformance checking, International Journal on Parallel processing, 2005.