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

J. Abrial, M. J. Butler, S. Hallerstede, L. Voisin, . Roadmap-for-the-rodin et al., A Roadmap for the Rodin Toolset, Lecture Notes in Computer Science, vol.5238, p.347, 2008.
DOI : 10.1007/978-3-540-87603-8_35

M. J. Butler, csp2B: A practical approach to combining CSP and B, FACS, pp.182-196, 2000.

M. J. Butler and M. Leuschel, Combining CSP and B for Specification and Property Verification, Lecture Notes in Computer Science, vol.3582, pp.221-236, 2005.
DOI : 10.1007/11526841_16

J. Derrick and E. A. Boiten, Refinement in Z and Object-Z, 2001.
DOI : 10.1007/978-1-4471-0257-1

J. Derrick and H. Wehrheim, Model Transformations Incorporating Multiple Views, Lecture Notes in Computer Science, vol.4019, pp.111-126, 2006.
DOI : 10.1007/11784180_11

C. Fischer, CSP-OZ: A Combination of Object-Z and CSP, Second IFIP International conference on Formal Methods for Open Object-based Distributed Systems, pp.423-438, 1997.
DOI : 10.1007/978-0-387-35261-9_29

C. A. Hoare, Communicating Sequential Processes, 1985.

A. Iliasov, On Event-B and Control Flow, 2009.

B. P. Mahony and J. S. Dong, Blending Object-Z and Timed CSP: an introduction to TCOZ, Proceedings of the 20th International Conference on Software Engineering, 1998.
DOI : 10.1109/ICSE.1998.671106
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.266

C. Métayer, J. Abrial, and L. Voisin, Event-B language. RODIN Project Deliverable 3

C. Morgan, Of wp and CSP. Beauty is our business: a birthday salute to E. W. Dijkstra, pp.319-326, 1990.

L. Mussat, Modéles Réactifs, 2008.

E. Olderog and H. Wehrheim, Specification and (property) inheritance in CSP-OZ, Science of Computer Programming, vol.55, issue.1-3, pp.227-257, 2005.
DOI : 10.1016/j.scico.2004.05.017

S. Schneider, Concurrent and Real-time Systems: The CSP approach, 1999.

G. Smith, A semantic integration of object-Z and CSP for the specification of concurrent systems, Lecture Notes in Computer Science, vol.1313, pp.62-81, 1997.
DOI : 10.1007/3-540-63533-5_4

G. Smith and J. Derrick, Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. Formal Methods in System Design, pp.249-284, 2001.

H. Treharne and S. Schneider, How to Drive a B Machine, Lecture Notes in Computer Science, vol.1878, pp.188-208, 2000.
DOI : 10.1007/3-540-44525-0_12

J. Woodcock and A. Cavalcanti, The Semantics of Circus, Lecture Notes in Computer Science, vol.2272, pp.184-203, 2002.
DOI : 10.1007/3-540-45648-1_10