J. Abrial, Modeling in Event-B: System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881

J. Abrial, D. Cansell, and D. Méry, A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol, Formal Aspects of Computing, vol.14, issue.3, pp.215-227, 2003.
DOI : 10.1007/s001650300002
URL : https://hal.archives-ouvertes.fr/inria-00099531

M. B. Andriamiarina, D. Méry, and N. K. Singh, Revisiting Snapshot Algorithms by Refinement-based Techniques, PDCAT. IEEE Computer Society, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00734131

R. Back and K. Sere, Stepwise refinement of action systems, Structured Programming, pp.17-30, 1991.
DOI : 10.1007/3-540-51305-1_7

D. Cansell, C. Tanougast, and Y. Beviller, integration of the proof process in the design of microelectronic architecture for bitrate measurement instrumentation of transport stream program mpeg-2 dvb-t, 2004.

S. Jovanovic, C. Tanougast, and S. Weber, A new high-performance scalable dynamic interconnection for FPGA-based reconfigurable systems, 2008 International Conference on Application-Specific Systems, Architectures and Processors, pp.61-66, 2008.
DOI : 10.1109/ASAP.2008.4580155

C. Killian, C. Tanougast, F. Monterio, and A. Dandache, Online Routing Fault Detection for Reconfigurable NoC, 2010 International Conference on Field Programmable Logic and Applications, 2010.
DOI : 10.1109/FPL.2010.45

G. T. Leavens, J. Abrial, D. S. Batory, M. J. Butler, A. Coglio et al., Roadmap for enhanced languages and methods to aid verification, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.221-236, 2006.
DOI : 10.1145/1173706.1173740

D. Méry, Refinement-based guidelines for algorithmic systems, Int. J. Software and Informatics, vol.3, issue.2-3, pp.197-239, 2009.

R. Project, Rigorous open development environment for complex systems, pp.2004-2010