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

D. Abraham, D. Cansell, P. Ditsch, D. Méry, and C. Proch, The Challenge of QoS for digital television services, EBU Technical Review, vol.302, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00001252

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, S. Hallerstede, and Y. Zimmermann, Construction sûre de systèmes électoniques, Génie Logiciel, pp.38-44, 2004.

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

D. Cansell, C. Tanougast, Y. Berviller, D. Méry, C. Proch et al., Proofbased design of a microelectronic architecture for MPEG-2 bit-rate measurement, Forum on specification & Design Languages ? FDL'03, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099834

A. Gawanmeh, A. Habibi, and S. Tahar, Enabling SystemC Verification using Abstract State Machines, Languages for Formal Specification and Verification, Forum on Specification & Design Languages ? FDL'04, 2004.

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

. Systems, Video and Audio in satellite, cable or terrestrial broadcasting applications. ETSI TR 101 154, 2002.