J. Abrial, The B-Book: Assigning programs to meanings, 1996.
DOI : 10.1017/CBO9780511624162

J. Abrial and S. Hallerstede, Refinement, decomposition and instantiation of discrete models: Application to Event-B. Fundamenta Informaticae, pp.1-28, 2007.

R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi, Alternating refinement relations, CONCUR'98, pp.163-178, 1998.
DOI : 10.1007/BFb0055622

C. Barrett, R. Sebastiani, S. A. Seshia, and C. Tinelli, Satisfiability Modulo Theories, Frontiers in Artificial Intelligence and Applications, vol.185, issue.26, pp.825-885, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01095009

E. Brinksma and J. Tretmans, Testing Transition Systems: An Annotated Bibliography, MOVEP'2k, pp.187-193, 2001.
DOI : 10.1007/3-540-45510-8_9

M. Butler, Decomposition Structures for Event-B
DOI : 10.1016/0167-6423(93)90021-G

L. De-alfaro, Game Models for Open Systems, Theory and Practice, pp.269-289, 2004.
DOI : 10.1007/978-3-540-39910-0_12

L. De-alfaro and T. A. Henzinger, Interface automata, ESEC/FSE, pp.109-120, 2001.

L. De-moura and N. Bjørner, Z3: An Efficient SMT Solver, Tools and Algorithms for the Construction and Analysis of SystemsTACAS'08), 2008.
DOI : 10.1007/978-3-540-78800-3_24

L. De-moura, H. Rueß, and M. Sorea, Lazy Theorem Proving for Bounded Model Checking over Infinite Domains, Proceedings of the 18th International Conference on Automated Deduction, pp.438-455, 2002.
DOI : 10.1007/3-540-45620-1_35

L. Frantzen, J. Tretmans, and T. Willemse, A Symbolic Framework for Model-Based Testing, number 4262 in LNCS, pp.40-54, 2006.
DOI : 10.1007/11940197_3

L. Franzen, J. Tretmans, and T. Willemse, Test generation based on symbolic specifications, Proceedings of the Workshop on Formal Approaches to Software Testing, pp.3-17, 2004.

J. Jacky, M. Veanes, C. Campbell, and W. Schulte, Model-based Software Testing and Analysis with C#, 2008.
DOI : 10.1017/CBO9780511619540

R. Keller, Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1976.
DOI : 10.1145/360248.360251

N. Lynch and M. Tuttle, Hierarchical correctness proofs for distributed algorithms, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, pp.137-151, 1987.
DOI : 10.1145/41840.41852

M. Poppleton, The Composition of Event-B Models, Int. Conference on ASM, B and Z (ABZ'08), pp.209-222, 2008.
DOI : 10.1007/978-3-540-87603-8_17

J. Tretmans, Model Based Testing with Labelled Transition Systems, LNCS, vol.4949, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1

J. Tretmans and A. Belinfante, Automatic testing with formal methods, Eu- roSTAR'99: 7th European Int. Conference on Software Testing EuroStar Conferences, 1999.

M. Van-der-bij, A. Rensink, and J. Tretmans, Compositional Testing with ioco, Formal Approaches to Software Testing: Third International Workshop, FATES 2003, pp.86-100, 2004.
DOI : 10.1007/978-3-540-24617-6_7

M. Veanes and N. Bjørner, Input-Output Model Programs, ICTAC'09, pp.322-335, 2009.
DOI : 10.1007/978-3-642-03466-4_21

M. Veanes and N. Bjørner, Alternating Simulation and IOCO, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01055244

M. Veanes, N. Bjørner, Y. Gurevich, and W. Schulte, Symbolic bounded model checking of abstract state machines, Int J Software Informatics, vol.3, issue.23, pp.149-170, 2009.