D. Abraham, D. Cansell, P. Ditsch, D. Méry, and C. Proch, Synthesis of the QoS for digital TV services The Netherlands, IBC'05, 2005.

J. Abrial, The B Book -Assigning Programs to Meanings, 1996.

J. Abrial and . B#, B#: Toward a Synthesis between Z and B, ZB'2003 -Formal Specification and Development in Z and B, pp.168-177, 2003.
DOI : 10.1007/3-540-44880-2_12

R. J. Back, On correct refinement of programs, Journal of Computer and System Sciences, vol.23, issue.1, pp.49-68, 1979.
DOI : 10.1016/0022-0000(81)90005-2

D. Cansell, J. Culat, D. Méry, and C. Proch, Derivation of SystemC code from abstract system models, Forum on specification & Design Languages -FDL'04, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00107780

D. Cansell and D. Méry, Logical foundations of the B method, Computers and Informatics, vol.22, 2003.

E. M. Clarke, O. Grumberg, and D. Peled, A. Model Checking, 2000.
URL : https://hal.archives-ouvertes.fr/hal-01105762

. Clearsy, Web site b4free set of tools for development of b models, 2004.

. European-broadcasting-union, Digital video broadcasting (DVB)-measurement guidelines for DVB systems, p.5, 2001.

A. Gawanmeh, A. Habibi, and S. Tahar, An executable operational semantics for SystemC using Abstract State Machines, 2005.

U. Glässer, E. Börger, and W. Müller, Formal definition of an abstract VHDL'93 simulator by EAmachines, Formal Semantics for VHDL, 1995.

D. Méry, D. Cansell, C. Proch, D. Abraham, and P. Ditsch, The challenge of QoS for digital television services, EBU Technical Review, vol.302, 2005.

W. Mueller, R. Dömer, and A. Gerstlauer, The formal execution semantics of SpecC, Proceedings of the 15th international symposium on System Synthesis , ISSS '02, pp.150-155, 2002.
DOI : 10.1145/581199.581234

J. Ruf, D. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl et al., The simulation semantics of SystemC, DATE '01: Proceedings of the conference on Design, automation and test in Europe, pp.64-70, 2001.

J. Ruf, D. Hoffmann, T. Kropf, and W. Rosenstiel, Simulation-guided property checking based on multi-valued AR-automata, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, pp.742-748, 2001.
DOI : 10.1109/DATE.2001.915111

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

. Systemc, Official web site of SystemC community, 1999.